Hyperkub: definition och egenskaper hos n-dimensionella kuber

Grundläggande egenskaper och räkneformler

• Koordinatbeskrivning: Hyperkuben kan beskrivas som produktmängden [0,1]^n eller som mängden av alla binära vektorer {0,1}^n. Två hörn är förbundna med en kant precis när de skiljer sig i exakt en koordinat.
• Antal hörn, kanter och högre-dimensionella sidor (k-ytor): Antalet k-dimensionella sidor hos en n-kub ges av formeln
  antal(k-ytor) = C(n,k) · 2^{n-k},
  där C(n,k) är binomialkoefficienten. Särskilda fall: hörn (k=0) = 2^n, kanter (k=1) = n·2^{n-1}, facetterna (k=n−1) = 2n.
• Hypervolym: Om sidlängden är a är hyperkubsinnehållet (hypervolymen) a^n. För en enhetshyperkub (a = 1) är hypervolymen 1.
• Circumradius och inradius: För en hyperkub med sidlängd a är avståndet från centrum till ett hörn (circumradius) = a·√n / 2, och avståndet från centrum till en facet (inradius) = a / 2. För den binära enhetshyperkuben {0,1}^n ligger centrum i (1/2,...,1/2) och circumradius = √n / 2.
• Symmetrier: Hyperkuben är centralsymmetrisk och dess symmetrigrupp är hyperoctahedralgruppen (ibland betecknad Bn), som består av alla permutationer av koordinaterna tillsammans med oberoende byten av tecken (i den versionen centrerad i origo).
• Dual polytope: Den geometriska dualen till en n-kub är en n-dimensionell kors-kub (cross-polytope eller n-orthoplex).

Specifika exempel

• n = 1: intervallet [0,1] (1-kub).
• n = 2: kvadraten (2-kub).
• n = 3: vanliga kuben (3-kub).
• n = 4: tesserakten eller 4-kuben — denna kan visualiseras via projektioner eller Schlegel-diagram och har 16 hörn, 32 kanter, 24 kvadratiska ytor och 8 kubiska celler (facetter).

Graf- och kombinatoriska samband

• Hypercubegraphen Q_n: 1-skelettet hos en n-kub bildar den så kallade hypercube- eller n-cube-graphen Q_n — en regelbunden, bipartit graf med 2^n noder och grad n. Den används ofta inom datavetenskap (t.ex. i nätverksdesign) och kombinatorik.
• Binära koder och Gray-kod: Hörnen kan numreras med binära tal. En Gray-kod ger en Hamiltonsk väg i hyperkubgrafen där intilliggande hörn skiljer sig i endast en bit.

Visualisering och uppbyggnad

• Hyperkubens högre-dimensionella natur gör att man ofta använder projektioner, Schlegel-diagram eller perspektivbilder för att visualisera den i två eller tre dimensioner.
• En tesseract (4-kub) kan exempelvis ritas som en litet kub inuti en större kub där motsvarande hörn är förbundna — detta är en projektion, inte en exakt avbildning i 3D.
• Hyperkuber kan också "utvikas" till nät (generaliserat net för högre dimensioner) på motsvarande sätt som en vanlig kub kan utvecklas till sex kvadrater i planet.

Tillämpningar och sammanhang

• Hyperkubens struktur används inom optimering, sannolikhetsteori (slumpfördelningar på {0,1}^n), maskininlärning (till exempel hyperparameterrum), och i teoretiska studier av högdimensionella rymder.
• I kombinatorik och grafteori fungerar den som ett naturligt exempel på höggradiga, välstrukturerade grafer och fungerar som modell för hypernätverk.

Sammanfattning

Hyperkuben är ett fundamentalt och välstuderat objekt i både euklidisk geometri och kombinatorik. Den kan beskrivas enkelt som produktintervallet [0,1]^n eller mängden {0,1}^n, har 2^n hörn, n·2^{n-1} kanter och facetterna räknas till 2n. Mått och radier följer enkla formler beroende på sidlängden, och dess symmetrier och duala relationer gör hyperkuben till en central byggsten i studiet av högre-dimensionella polytoper.