Hipersfera: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
Linia 4:
 
== Definicja formalna ==
Dla dowolnej liczby naturalnej <math>n,</math> hipersfera o promieniu <math>r</math> jest zdefiniowana jako zbiór punktów w przestrzeni euklidesowej <math>(''n''+1)</math>-wymiarowej, które znajdują się w odległości <math>r</math> od wybranego punktu środkowego <math>c,</math> gdzie <math>r</math> jest dowolną dodatnią liczbą rzeczywistą, a <math>c</math> to dowolnie wybrany punkt w przestrzeni <math>(''n''+1)</math>-wymiarowej.
: <math>S^n = \left\{ x \in \mathbb{R}^{n+1} : \|x-c\| = r\right\}.</math>
 
Jest to n-wymiarowa rozmaitość w <math>(''n''+1)</math>-wymiarowej przestrzeni euklidesowej. W szczególności:
* hipersfera 0-wymiarowa to para punktów na końcach [[Odcinek|odcinka]],
* hipersfera 1-wymiarowa to [[okrąg]] na płaszczyźnie,
Linia 13:
* hipersfera 3-wymiarowa to sfera w 4-wymiarowej przestrzeni euklidesowej.
 
Hipersferę o promieniu jednostkowym i środku umieszczonym w początku układu współrzędnych nazywamy '''hipersferą jednostkową''', oznaczaną <math>S^n.</math> Często terminem ''hipersfera'' określa się właśnie ''hipersferę jednostkową''. Hipersfera n-wymiarowa stanowi brzeg [[kula|kuli]] <math>(''n''+1)</math>-wymiarowej. Dla <math>n\ge 2,</math> hipersfery są [[przestrzeń jednospójna|rozmaitościami jednospójnymi]] o stałej dodatniej krzywiźnie.
 
=== Współrzędne ===
Zbiór punktów w przestrzeni <math>(''n''+1)</math>-wymiarowej <math>(x_1, x_2, \ldotsdots, x_{n+1}),</math> który tworzy hipersferę opisuje równanie
: <math>r^2=\sum_{i=1}^{n+1} (x_i - c_i)^2,</math>
 
Linia 25:
=== Hiperkula ===
{{Zobacz też|hiperkula}}
Przestrzeń ograniczona przez hipersferę nazywamy <math>(''n''+1)</math>-wymiarową hiperkulą. Hiperkula jest [[zbiór domknięty|domknięta]] jeśli zawiera hipersferę, lub [[zbiór otwarty|otwarta]] jeśli jej nie zawiera. W szczególności:
* hiperkula 1-wymiarowa to [[odcinek]],
* hiperkula 2-wymiarowa to [[koło]],
Linia 32:
== Rozmiar ==
=== Objętość wnętrza ===
Ogólny wzór na ''objętość'', a ściślej [[miara Lebesgue’a]] obszaru ograniczanego przez hipersferę <math>(''n''–1-1)</math>-wymiarową o promieniu <math>R,</math> który jest [[hiperkula|hiperkulą]] <math>n</math>-wymiarową, ma postać:
: <math>V_n(R) = C_n R^n,</math>
 
Linia 44:
 
i nieparzystych
: <math>C_{2k+1} = \frac{2^{k+1} \pi^k}{1 \cdot 3 \cdot \dotsldots \cdot (2k+1)} = \frac{2^{k+1} \pi^k}{(2k+1)!!}.</math>
 
{| class="wikitable" style="text-align:right" style="text-align:center"
Linia 56:
| <math>1</math>
| 1,00000
| style="text-align:left"| Punktpunkt
|-
| 1
| <math>2</math>
| 2,00000
| style="text-align:left"| Długośćdługość odcinka
|-
| 2
| <math>\pi</math>
| 3,14159
| style="text-align:left"| Polepole koła
|-
| 3
| <math>\frac43\pi</math>
| 4,18879
| style="text-align:left"| Objętośćobjętość kuli
|-
| 4
Linia 99:
|}
 
Rozmiar obszaru ograniczonego hipersferą jednostkową jest największy w przestrzeni 5-wymiarowej. W przestrzeniach o liczbie wymiarów <math>n&nbsp;&gt;&nbsp;>5,</math> rozmiar zaczyna maleć i zmierza do zera w nieskończoności
: <math>\lim_{n \to \infty}V_n = 0.</math>
 
=== Powierzchnia ===
Ogólny wzór na ''powierzchnię'' hipersfery <math>(''n''–1-1)</math>-wymiarowej można uzyskać obliczając pochodną objętości hiperkuli <math>n</math>-wymiarowej względem promienia
: <math>S_{n-1}(R) = \frac{d}{dR} V_n(R) = \frac{d}{dR} C_n R^n = n C_n R^{n-1} = C^*_{n-1} R^{n-1},</math>
 
Linia 109:
: <math>C^*_{n-1} = n C_n = \frac{n\pi^{\frac{n}{2}}}{\Gamma(\frac{n}{2} + 1)} =
\begin{cases}
\displaystyle 0 & \mboxtext{dla }n=0, \\[2ex]
\displaystyle \frac{n\pi^{\frac{n}{2}}}{\frac{n}{2} \Gamma(\frac{n}{2})} = \frac{2\pi^{\frac{n}{2}}}{\Gamma(\frac{n}{2})} & \mboxtext{dla }n > 0
\end{cases}</math>
 
Linia 120:
! Klasyczna<br />interpretacja
|-
| -1–1
| <math>0</math>
| &nbsp;0,00000
Linia 128:
| <math>2</math>
| &nbsp;2,00000
| style="text-align:left"| Liczbaliczba punktów tworzących sferę
|-
| 1
| <math>2\pi</math>
| &nbsp;6,28318
| style="text-align:left"| Długośćdługość okręgu
|-
| 2
| <math>4\pi</math>
| 12,56637
| style="text-align:left"| Powierzchniapowierzchnia kuli
|-
| 3
Linia 174:
 
{{Grafika rozwinięta
| grafika1=Sphere area in n dimensions.svg | szerokość1=200 | opis1=''Powierzchnia'' jednostkowej sfery <math>(''x''–1-1)</math>-wymiarowej
| grafika2=Ball volume in n dimensions.svg | szerokość2=200 | opis2=''Objętość'' jednostkowej kuli ''<math>x''</math>-wymiarowej
| tytuł=Obszar w przestrzeni ''<math>x''</math>-wymiarowej jako funkcja ciągła&nbsp;'' <math>x''</math>
| położenie=center
}}
 
== Współrzędne hipersferyczne ==
Analogicznie do [[układ współrzędnych sferycznych|współrzędnych sferycznych]] w euklidesowej przestrzeni trójwymiarowej definiuje się system współrzędnych hipersferycznych dla dowolnej przestrzeni <math>n</math>-wymiarowej, w których składowymi są promień <math>r</math> i <math>(n-1)</math> współrzędnych kątowych <math>\phi_1 , \phi_2 , \dots , \phi_{n-1},</math> gdzie <math>\phi_{n-1}</math> zawiera się w przedziale <math>[0, 2 \pi),</math> a pozostałe współrzędne kątowe w przedziale <math>[0, \pi].</math>
 
Jeśli przez <math>x_i</math> oznaczymy współrzędne kartezjańskie to ich wartości można wyznaczyć jako:
Linia 197:
== Linki zewnętrzne ==
* [http://www.bayarea.net/~kins/thomas_briggs/ Exploring Hyperspace with the Geometric Product] {{lang|en}}
* {{MathWorld | tytuł = Hypersphere | adres = Hypersphere}}
 
[[Kategoria:Topologia]]