Bal (wiskunde)

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de wiskunde is een bal een binnenkant van een sfeer; beide concepten zijn niet alleen van toepassing in de drie-dimensionale ruimte, maar ook voor hogere en lagere dimensies en voor metrische ruimten in het algemeen.

Ballen in algemene metrische ruimten[bewerken]

Laat (M,d) een metrische ruimte zijn, namelijk een verzameling M met een metrieke (afstandsfunctie) d. De open (metrische) bal met straal r > 0 gecentreerd op een punt p in M, meestal aangegeven door

of ,

wordt gedefinieerd door

De gesloten (metrische) bal, die kan worden aangeduid door of , wordt gedefinieerd door

Merk in het bijzonder op dat een (open of gesloten) bal altijd zelf het punt, p bevat, dit aangezien de definitie r > 0 vereist.

De afsluiting van de open bal wordt meestal aangeduid door

.

Hoewel

en

altijd gelden, is hier niet altijd sprake van voor

.

In een metrische ruimte met een discrete metriek geldt bijvoorbeeld voor elke , dat

en .

Een (open of gesloten) eenheidsbol is een bal met straal 1.

Een deelverzameling van een metrische ruimte is begrensd, indien deze deelverzameling geheel door een bal kan worden omsloten. Een verzameling is volledig begrensd als deze verzameling, gegeven een positieve straal, kan worden overdekt door een eindig aantal ballen met deze straal.

De open ballen van een metrische ruimte zijn een basis voor een topologische ruimte, waarvan de open verzamelingen alle mogelijke verenigingen van open ballen. Deze ruimte wordt ook wel de door de metriek d geïnduceerde topologie genoemd.

Topologische ballen[bewerken]

In elke topologische ruimte , die niet noodzakelijkerwijs door een metriek is geïnduceerd, kan men over ballen spreken, Een (open of gesloten) n-dimensionale topologische bal van is elke deelverzameling van die homeomorf is ten opzichte van een (open of gesloten) Euclidische n-bal. Topologische n-ballen zijn belangrijk in de combinatoriële topologie, als de bouwstenen van het celcomplexen.

Een open topologische n-bal is homeomorf ten opzichte van de Cartesische ruimte en de open eenheids n-kubus . Een gesloten topologische n-bal is homeomorf ten opzichte van de gesloten n-kubus .

Een n-bal is homeomorf ten opzichte van een m-bal dan en slechts dan als n=m. De homeomorfismen tussen een open n-bal en kunnen worden ingedeeld in twee klassen, die geïdentificeerd kunnen worden met de twee mogelijke topologische oriëntaties van .

Een topologische n-bal hoeft niet glad te zijn; als de n-bal glad is, hoeft deze niet diffeomorf te zijn ten opzichte van een Euclidische n-bal.

Zie ook[bewerken]