A norm is a way of measuring lengths of vectors (in the space ). The most standard example is the Euclidean norm, which on the plane is given by the formula:
But this is not the only way of measuring length. E.g. if we can move only along vertical and horizontal lines we may argue that it makes sense to define a norm as
which is called the city norm (assuming, that the city has a perpendicular grid of streets, which we are moving along).
Yet another idea is
which is so called maximum norm.
What do we expect from a norm? When a function which assigns a non-negative number to any vector can be called a norm? The definition follows. Such a function is a norm if it satisfies the following conditions.
- if and only if is the zero vector,
- is is a scalar, then ,
- (triangle inequality).
Indeed, the city norm satisfies this definition, because if , which means that ,
Norms can be created using inner products.
The typical example of an inner (scalar) product is the Euclidean (standard) product defined by
and more generally in as
But similarly as in the case of norms we can consider different inner products, e.g.
Generally, a function assigning two vectors a real number is called an inner product if it satisfies the following conditions.
- , for a scalar ,
- and equals only if is the zero vector.
Every inner product generates a norm given by
Schwartz inequality is very useful when proving some facts related to norms and inner products. It states that for any
This inequality is easy to prove. After multiplication of the brackets and moving everything to the right-hand side, we get that than a sum of squares of some differences.
In a more general form for any inner product and a norm generated by it:
A ball with radius and center in zero with respect to a given norm is the set
A ball can look differently depending on the chosen norm. E.g. the unitary ball with respect to the Euclidean norm on the plate is a circle (red), but the unitary ball with respect to the city norm on the plane is a square (blue).
A set (on the plane or more generally in ) is convex, if for any two points in this set, all the points on the line segment between those points is in the set as well.
In analytical language we can formulate this property in the following way. A set is convex if for any point in it and any , the point is in the set as well.