some structures on
Let . Then, as a set, is the -fold Cartesianproduct of the real numbers.
0.0.1 Vector space structure of
If and are points in , we define their sumas
Also, if is a scalar (real number), then scalar multiplicationis defined as
With these operations, becomes a vector space
(over ) with dimension
.In other words, with this structure
, we can talk about, vectors, lines, subspaces
of different dimension.
0.0.2 Inner product for
For and as above, we define the inner product as
With this product, is called an Euclidean space
.
We have also an induced norm , which gives the structure of a normed space (and thus metric space).This inner product let us talk about length, angle between vectors, orthogonal vectors.
0.0.3 Topology for
The usual topology for is the topology induced by the metric
As a basis for the topology induced by the above norm, one can takeopen balls where and .
Properties of the topological space are:
- 1.
is second countable, i.e., has a countable basis.
- 2.
(Heine-Borel theorem)A set in is compact
if and only if it is closed and bounded
.
- 3.
Since is a metric space, is a Hausdorff space.