Väli

Wikipedia
Loikkaa: valikkoon, hakuun
Tämä artikkeli käsittelee matemaattista termiä. Väli voi myös tarkoittaa välilyöntiä.

Matematiikassa väli on (osittain tai täysin) järjestetyn joukon osajoukko, jonka alkiot sijaitsevat jonkin kahden kiinteän rajan välillä.

Määritelmä[muokkaa | muokkaa wikitekstiä]

Olkoon (X,\leq) järjestetty joukko ja a , b \in X, missä a < b \,. Tällöin pisteiden a ja b välinen

  • suljettu väli on joukko

[a,b] = \{x \in X : a \leq x \leq b \},

  • avoin väli on joukko

(a,b) = \{x \in X : a < x < b \},

  • oikealta puoliavoin väli on joukko

[a,b) = \{x \in X : a \leq x < b \},

  • vasemmalta puoliavoin väli on joukko

(a,b] = \{x \in X : a < x \leq b \} ,

missä merkinnällä  < \, tarkoitetaan järjestyksen \leq antamaa relaatiota: alkioilla a,b\in X pätee a < b \, jos ja vain jos  a \leq b ja  a \neq b .

Yleisesti joukko \Delta \subset X on väli jos se voidaan kirjoittaa jollain edellä olevalla tavalla.

Päätepisteiden kuulumattomuus voidaan ilmaista myös väärinpäin kirjoitetuilla hakasulkeilla, esimerkiksi avoin väli on tällöin ]a,b[\ = \{x \in X : a < x < b \} [1]

Sovelluksia[muokkaa | muokkaa wikitekstiä]

Tunnettu esimerkki järjestetystä joukosta, jossa välien käyttö on osoittautunut erittäin hyödylliseksi on (laajennettu) reaaliakseli \bar{\R} = \R \cup \{ -\infty \} \cup \{ +\infty \} varustettuna tavallisella lukujen ja äärettömyyksien suuruttaa mittaavalla järjestyksellä. Tässä avaruudessa nimittäin voidaan välien helposti kontruoida topologioita avaruuteen \R ja niille voidaan määritellä päätepisteiden etäisyyden avulla helposti geometrinen mitta. Täällä siis välit koostuvat niistä reaaliluvuista, jotka ovat jonkin kahden kiinteän luvun (tai +/-äärettömän) välissä.

Esimerkiksi väli avoin väli (0,1) \subset \R koostuu janasta nollasta yhteen, jossa päätepisteitä ei oteta mukaan ja vastaavasti [0,1] samasta janasta, johon lisätään päätepisteet.

Joukossa \R avoimet välit muodostavat kannan euklidiselle topologialle ja puoliavoimet välit muodostavat kannan niin sanotulle puoliavoimelle topologialle.

Tulovälit[muokkaa | muokkaa wikitekstiä]

Vaikka välin käsite on vahvasti sidoksissa joukon järjestykseen, niin välien käsite voidaan myös yleistää järjestettyjen joukkojen tuloavaruuksille. Tuloavaruuksiin ei voi yleisesti periyttää järjestystä tulon jäsenistä, kuten jo esimerkiksi tason \R^2 käy.

Olkoon (X_j,\leq_j) osittain tai täysin järjestettyjä joukkoja, missä j \in J ja J jokin epätyhjä joukko. Tällöin joukko A \subset \prod_{j \in J} X_j on tuloväli, jos on olemassa välit \Delta_j \subset X_j siten, että

A = \prod_{j \in J} \Delta_j .

Esimerkiksi avaruudessa \R^n tulovälit (kutsutaan tässä tapauksessa myös n-välit) ovat n:n reaaliakselin välin tuloja eli eräänlaisia useampiulotteisia laatikoita (avaruudessa \R^2 tulovälit ovat suorakaiteita ja avaruudessa \R^3 tulovälit ovat särmiöitä).

Avaruudessa \R^n avoimien välien tuloina saadut tulovälit muodostavat avaruuden normitopologialle kannan.

Viitteet[muokkaa | muokkaa wikitekstiä]

  1. Reaaliluvut - Lukusuora Tampereen teknillisen yliopiston sivusto.