Utökade reella tallinjen
Från Rilpedia
Version från den 12 maj 2009 kl. 17.03 av Petter Strandmark (Diskussion)
Utökade reella tallinjen är ett begrepp inom matematik. Det är den reella tallinjen med två extra punker: en "negativ" och en "positiv oändlighet" med beteckningarna och . Utökade reella tallinjen är viktig till exempel inom måtteori och integrationsteori.
Formell definition
Låt vara reella tallinjen. Utökade reella tallinjen är en mängd
där punkerna och uppfyller följande:
- för alla
- och
- och
- för alla
- för alla
- för alla
- för alla
- för alla
- för alla
- för alla
- för alla
- för alla
- för alla .
Ibland, till exempel inom måtteori, definieras även:
- och
Uttrycken
- , , , och
är inte definierade i .
Egenskaper
- Det går att visa att paret är en ordnad mängd.