The real numbers/Infobox
From Maths
The real numbers | |
R
| |
Algebraic structure | |
---|---|
TODO: Todo - is a field
| |
Standard topological structures | |
Main page: The real line | |
inner product | ⟨a,b⟩:=a∗b - Euclidean inner-product on R1 |
norm | ∥x∥:=√⟨x,x⟩=|x| - Euclidean norm on R1 |
metric | d(x,y):=∥x−y∥=|x−y| - Absolute value - Euclidean metric on R1 |
topology | topology induced by the metric d |
Standard measure-theoretic structures | |
measurable space | Borel σ-algebra of R[Note 1] |
|
Lebesgue-measurable sets of R
|
The real line discusses R as a set.
Notes
- Jump up ↑ This is just the Borel sigma-algebra on the real line (with its usual topology)