Vés al contingut

Bola (matemàtiques)

De la Viquipèdia, l'enciclopèdia lliure

En matemàtiques, una bola o més precisament una bola oberta és l'interior d'una superfície esfèrica; els dos conceptes s'apliquen no solament a l'espai tridimensional sinó també en dimensions més baixes i més altes, i en espais mètrics en general.

Boles en espais mètrics generals

[modifica]

Sigui (M,d) un espai mètric, és a dir un conjunt M amb una mètrica d (funció distància). La bola oberta (mètrica) de radi r > 0 centrada a un punt p de M, normalment denotada per o , es defineix com a

L bola mètrica (tancada), que es pot denotar per o , es defineix per

S Esfera, que es pot denotar per o , es defineix per

Fixeu-vos que una bola (oberta o tancada) sempre conté el mateix punt p, donat que la definició exigeix que r > 0.

La clausura de la bola oberta es denota normalment . Mentre que sempre succeeix que i , no sempre succeeix que . Per exemple, en un espai mètric amb la mètrica discreta, es té i , per qualsevol .

Una bola unitària (oberta o tancada) és una bola de radi 1.

Un subconjunt d'un espai mètric és fitat si està contingut en alguna bola. Un conjunt és totalment fitat si, donat qualsevol radi positiu, es pot recobrir amb una quantitat finita de boles d'aquell radi.

Les boles obertes d'un espai mètric són una base per un espai topològic, els conjunts oberts del qual són tots els que s'obtenen per unió de boles obertes. Aquest espai s'anomena la topologia induïda per la mètrica d.

Boles en espais vectorials amb norma

[modifica]
Representació de les boles de ℝ² en les normes L1, L₂ (norma euclidiana) i L

Qualsevol espai vectorial normat amb la norma també és un espai mètric, amb la mètrica . En aquests espais, cada bola és una còpia de la bola unitat , aplicant-li un factor d'escala i una translació .

Norma euclidiana

[modifica]

En particular, si és un espai euclidià n dimensional amb la distància euclidiana ordinària, cada bola és l'interior d'una hiperesfera (una hiperbola). És a dir és un interval, quan n=1, l'interior d'una circumferència (un cercle) quan n=2, i l'interior d'una superfície esfèrica quan n=3.

p-norma

[modifica]

En l'espai amb la p-norma Lp, una bola oberta és el conjunt.

Pel cas particular de n=2, les boles de L1 són quadrats amb les diagonals paral·leles als eixos de coordenades; les de L (la mètrica de Chebyshev) són quadrats amb els costats paral·lels als eixos de coordenades (vegeu-ho al gràfic adjunt). Per altres valors de p, les boles són l'interior de corbes de Lamé (hipoel·lipses o hiperel·lipses).

Per n=3, les boles de L1 són contàedres amb les diagonals del cos alineades amb els eixos, les de L són cubs amb arestes alineades amb els eixos, i les de Lp amb p> 2 són superel·lipsoides.

Norma general convexa

[modifica]

De forma més general, donat qualsevol subconjunt centralment simètric, fitat, obert, i convex de , es pot definir una norma en on les boles són còpies de aplicant-los una translació i un factor d'escala. Fixeu-vos que aquest teorema no és cert si subconjunt "obert" se substitueix per subconjunt "tancat", perquè el punt origen qualifica però no defineix una norma a .

Boles topològiques

[modifica]

Es pot parlar de boles en qualsevol espai topològic X, no necessàriament induïdes per una mètrica. Una bola topològica n-dimensional (oberta o tancada) de X és qualsevol subconjunt de X que sigui homeomorf a una n-bola euclidiana (oberta o tancada). Les n-boles topològiques són importants en topologia combinatòria, com les peces per construir els complexos-CW.

Qualsevol n-bola topològica oberta és homeomorfa a l'espai cartesià i al n-cub unitari obert . Qualsevol n-bola topològica tancada és homeomorfa al n-cub tancat .

Una n-bola és homeomorfa a una m-bola si i només si n=m. Els homeomorfismes entre una n-bola oberta i es poden classificar en dues classes, que es poden identificar amb les dues possibles orientacions topològiques de .

Una n-bola topològica no té per què ser contínuament diferenciable; si ho és, no té per què ser difeomorfa amb una n-bola euclidiana.

Vegeu també

[modifica]