Wikisage, de vrije encyclopedie van de tweede generatie, is digitaal erfgoed

Wikisage is op 1 na de grootste internet-encyclopedie in het Nederlands. Iedereen kan de hier verzamelde kennis gratis gebruiken, zonder storende advertenties. De Koninklijke Bibliotheek van Nederland heeft Wikisage in 2018 aangemerkt als digitaal erfgoed.

  • Wilt u meehelpen om Wikisage te laten groeien? Maak dan een account aan. U bent van harte welkom. Zie: Portaal:Gebruikers.
  • Bent u blij met Wikisage, of wilt u juist meer? Dan stellen we een bescheiden donatie om de kosten te bestrijden zeer op prijs. Zie: Portaal:Donaties.
rel=nofollow

Gebruiker:O/ Bal (wiskunde)

Uit Wikisage
Naar navigatie springen Naar zoeken springen
De printervriendelijke versie wordt niet langer ondersteund en kan weergavefouten bevatten. Werk uw browserbladwijzers bij en gebruik de gewone afdrukfunctie van de browser.

In de wiskunde is een bal het inwendige van een bol, of anders gezegd het gebied binnen een sfeer (boloppervlak). 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

Laat <math>(M,d)</math> een metrische ruimte zijn, namelijk een verzameling <math>M</math> met een metriek (afstandsfunctie) <math>d</math>. De open (metrische) bal met straal <math>r>0</math> en gecentreerd in een punt <math>p\in M</math>, meestal aangegeven door

<math>B_r(p)</math> of <math>B(p,r)</math>,

is gedefinieerd door

<math>B_r(p) = \{ x \in M \mid d(x,p) < r \}</math>.

De gesloten (metrische) bal, die kan worden aangeduid door <math>B_r[p]</math> of <math>B[p,r]</math>, wordt gedefinieerd door

<math>B_r[p] = \{ x \in M \mid d(x,p) \le r \}</math>.

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

De afsluiting van de open bal <math>B_r(p)</math> wordt meestal aangeduid door

<math>\overline{ B_r(p)) }</math>.

Hoewel

<math>B_r(p) \subseteq \overline{ (B_r(p)) }</math> en <math>B_r(p) \subseteq B_r[p]</math>

altijd gelden, is hier niet altijd sprake van voor

<math>\overline{ (B_r(p)) } = B_r[p]</math>.

In een metrische ruimte <math>X</math> met een discrete metriek geldt bijvoorbeeld voor elke <math>p \in X</math>, dat

<math>\overline{B_1(p)} = \{p\}</math> en <math>B_1[p] = X</math>.

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

In elke topologische ruimte <math>X</math>, die niet noodzakelijkerwijs door een metriek is geïnduceerd, kan men over ballen spreken, Een (open of gesloten) n-dimensionale topologische bal van <math>X</math> is elke deelverzameling van <math>X</math> 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 <math>\R^n</math> en de open eenheids n-kubus <math>(0,1)^n \subseteq \R^n </math>. Een gesloten topologische n-bal is homeomorf ten opzichte van de gesloten n-kubus <math>[0,1]^n</math>.

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 <math>B</math> en <math>\R^n</math> kunnen worden ingedeeld in twee klassen, die geïdentificeerd kunnen worden met de twee mogelijke topologische oriëntaties van <math>B</math>.

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

Wikimedia Commons  Zie ook de categorie met mediabestanden in verband met Spheres op Wikimedia Commons.

rel=nofollow
rel=nofollow
 Deze pagina is een archief- of kladversie en kan worden gebruikt om verder uit te bouwen tot een encyclopedisch lemma.