Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
euclidean_space [2014/10/29 20:28] nikolaj |
euclidean_space [2014/10/29 20:28] nikolaj |
||
---|---|---|---|
Line 3: | Line 3: | ||
| @#55CCEE: context | @#55CCEE: $ n\in \mathbb N $ | | | @#55CCEE: context | @#55CCEE: $ n\in \mathbb N $ | | ||
| @#FFBB00: definiendum | @#FFBB00: $\mathbb E^n \equiv \langle d,\mathbb R^n\rangle $ | | | @#FFBB00: definiendum | @#FFBB00: $\mathbb E^n \equiv \langle d,\mathbb R^n\rangle $ | | ||
- | | @#55EE55: postulate | @#55EE55: $d:\mathbb R^n\times \mathbb R^n\to \mathbb R_+ $ | | + | | @#AAFFAA: inclusion | @#AAFFAA: $d:\mathbb R^n\times \mathbb R^n\to \mathbb R_+ $ | |
| @#55EE55: postulate | @#55EE55: $d(x,y):=\left( \sum_{j=1}^n (x_j-y_j)^2 \right)^\frac{1}{2} $ | | | @#55EE55: postulate | @#55EE55: $d(x,y):=\left( \sum_{j=1}^n (x_j-y_j)^2 \right)^\frac{1}{2} $ | | ||