Difference between revisions of "The real numbers"

From Maths
Jump to: navigation, search
m (Alec moved page The real numbers to Real line: Changing name)
m (Alec moved page Real line to The real numbers without leaving a redirect: Moving to "the real numbers" which was a redirect page here)
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
{{DISPLAYTITLE:The real numbers: {{M|\mathbb{R} }}}}{{Stub page|grade=C|msg=Once cleaned up and fleshed out, demote to D}}
+
{{Stub page|grade=C|msg=Once cleaned up and fleshed out, demote to D
<div>{{Infobox|title=The real numbers|above=<span style="font-size:9em;">{{M|\mathbb{R} }}</span>}}</div>__TOC__
+
* Be sure to include [[Example:The real line with the finite complement topology is not Hausdorff]]}}
 +
<div style="float:right;margin:0px;margin-left:0.2em;">{{/Infobox}}</div>
 +
:* [[The real line]] is the name given to the reals with their "usual topology", the [[topology]] that is [[topology induced by a metric|induced]] by the [[absolute value metric]]
 +
:* [[Borel sigma-algebra of the real line]] - useful in [[Measure Theory (subject)|Measure Theory]] although distinct from [[Lebesgue measurable sets]] on the real line
 +
:** {{XXX|Pages needed}} for the Lebesgue-measurable structure on {{M|\mathbb{R}^n}} and {{M|\mathbb{R} }}
 +
__TOC__
 
==Definition==
 
==Definition==
 
===[[Cantor's construction of the real numbers]]===
 
===[[Cantor's construction of the real numbers]]===

Latest revision as of 21:31, 26 February 2017

Stub grade: C
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Once cleaned up and fleshed out, demote to D
The real numbers
[ilmath]\mathbb{R} [/ilmath]
Algebraic structure
TODO: Todo
- is a field
Standard topological structures
Main page: The real line
inner product [ilmath]\langle a,b\rangle:\eq a*b[/ilmath]
- Euclidean inner-product on [ilmath]\mathbb{R}^1[/ilmath]
norm [ilmath]\Vert x\Vert:\eq\sqrt{\langle x,x\rangle}\eq\vert x\vert[/ilmath]
- Euclidean norm on [ilmath]\mathbb{R}^1[/ilmath]
metric [ilmath]d(x,y):\eq\Vert x-y\Vert\eq \vert x-y\vert[/ilmath]
- Absolute value
- Euclidean metric on [ilmath]\mathbb{R}^1[/ilmath]
topology topology induced by the metric [ilmath]d[/ilmath]
Standard measure-theoretic structures
measurable space Borel [ilmath]\sigma[/ilmath]-algebra of [ilmath]\mathbb{R} [/ilmath][Note 1]
- other:
Lebesgue-measurable sets of [ilmath]\mathbb{R} [/ilmath]
  • contains the Borel [ilmath]\sigma[/ilmath]-algebra

Definition

Cantor's construction of the real numbers

The set of real numbers, [ilmath]\mathbb{R} [/ilmath], is the quotient space, [ilmath]\mathscr{C}/\sim[/ilmath] where:[1]

We further claim:

  1. that the familiar operations of addition, multiplication and division are well defined and
  2. by associating [ilmath]x\in\mathcal{Q} [/ilmath] with the sequence [ilmath] ({ x_n })_{ n = 1 }^{ \infty }\subseteq \mathbb{Q} [/ilmath] where [ilmath]\forall n\in\mathbb{N}[x_n:=x][/ilmath] we can embed [ilmath]\mathbb{Q} [/ilmath] in [ilmath]\mathbb{R}:=\mathscr{C}/\sim[/ilmath]

Axiomatic construction of the real numbers

Axiomatic construction of the real numbers/Definition

[ilmath]\mathbb{R} [/ilmath] is an example of:


TODO: Flesh out


Properties


If [ilmath]S\subseteq\mathbb{R} [/ilmath] is a non-empty set of real numbers that has an upper bound then[2]:

  • [ilmath]\text{Sup}(S)[/ilmath] (the supremum of [ilmath]S[/ilmath]) exists.

Notes

  1. This is just the Borel sigma-algebra on the real line (with its usual topology)

References

  1. Analysis - Part 1: Elements - Krzysztof Maurin
  2. Functional Analysis - Volume 1: A gentle introduction - Dzung Minh Ha