Hopf fibration




The Hopf fibration can be visualized using a stereographic projection of S3 to R3 and then compressing R3 to a ball. This image shows points on S2 and their corresponding fibers with the same color.




Pairwise linked keyrings mimic part of the Hopf fibration.


In the mathematical field of differential topology, the Hopf fibration (also known as the Hopf bundle or Hopf map) describes a 3-sphere (a hypersphere in four-dimensional space) in terms of circles and an ordinary sphere. Discovered by Heinz Hopf in 1931, it is an influential early example of a fiber bundle. Technically, Hopf found a many-to-one continuous function (or "map") from the 3-sphere onto the 2-sphere such that each distinct point of the 2-sphere comes from a distinct circle of the 3-sphere (Hopf 1931). Thus the 3-sphere is composed of fibers, where each fiber is a circle—one for each point of the 2-sphere.


This fiber bundle structure is denoted


S1↪S3→ pS2,displaystyle S^1hookrightarrow S^3xrightarrow p,S^2,S^1hookrightarrow S^3xrightarrow p,S^2,

meaning that the fiber space S1 (a circle) is embedded in the total space S3 (the 3-sphere), and p : S3S2 (Hopf's map) projects S3 onto the base space S2 (the ordinary 2-sphere). The Hopf fibration, like any fiber bundle, has the important property that it is locally a product space. However it is not a trivial fiber bundle, i.e., S3 is not globally a product of S2 and S1 although locally it is indistinguishable from it.


This has many implications: for example the existence of this bundle shows that the higher homotopy groups of spheres are not trivial in general. It also provides a basic example of a principal bundle, by identifying the fiber with the circle group.


Stereographic projection of the Hopf fibration induces a remarkable structure on R3, in which space is filled with nested tori made of linking Villarceau circles. Here each fiber projects to a circle in space (one of which is a line, thought of as a "circle through infinity"). Each torus is the stereographic projection of the inverse image of a circle of latitude of the 2-sphere. (Topologically, a torus is the product of two circles.) These tori are illustrated in the images at right. When R3 is compressed to a ball, some geometric structure is lost although the topological structure is retained (see Topology and geometry). The loops are homeomorphic to circles, although they are not geometric circles.


There are numerous generalizations of the Hopf fibration. The unit sphere in complex coordinate space Cn+1 fibers naturally over the complex projective space CPn with circles as fibers, and there are also real, quaternionic,[1] and octonionic versions of these fibrations. In particular, the Hopf fibration belongs to a family of four fiber bundles in which the total space, base space, and fiber space are all spheres:


S0↪S1→S1,displaystyle S^0hookrightarrow S^1to S^1,S^0hookrightarrow S^1to S^1,

S1↪S3→S2,displaystyle S^1hookrightarrow S^3to S^2,S^1hookrightarrow S^3to S^2,

S3↪S7→S4,displaystyle S^3hookrightarrow S^7to S^4,S^3hookrightarrow S^7to S^4,

S7↪S15→S8.displaystyle S^7hookrightarrow S^15to S^8.S^7hookrightarrow S^15to S^8.

By Adams' theorem such fibrations can occur only in these dimensions.


The Hopf fibration is important in twistor theory.




Contents





  • 1 Definition and construction

    • 1.1 Direct construction

      • 1.1.1 Geometric interpretation using the complex projective line


      • 1.1.2 Fiber bundle structure



    • 1.2 Geometric interpretation using rotations

      • 1.2.1 Explicit formulae



    • 1.3 Fluid mechanics



  • 2 Generalizations

    • 2.1 Real Hopf fibrations


    • 2.2 Complex Hopf fibrations


    • 2.3 Quaternionic Hopf fibrations


    • 2.4 Octonionic Hopf fibrations


    • 2.5 Fibrations between spheres



  • 3 Geometry and applications


  • 4 Notes


  • 5 References


  • 6 External links




Definition and construction


For any natural number n, an n-dimensional sphere, or n-sphere, can be defined as the set of points in an (n+1)displaystyle (n+1)(n+1)-dimensional space which are a fixed distance from a central point. For concreteness, the central point can be taken to be the origin, and the distance of the points on the sphere from this origin can be assumed to be a unit length. With this convention, the n-sphere, Sndisplaystyle S^nS^n, consists of the points (x1,x2,…,xn+1)displaystyle (x_1,x_2,ldots ,x_n+1)displaystyle (x_1,x_2,ldots ,x_n+1) in Rn+1displaystyle mathbb R ^n+1displaystyle mathbb R ^n+1 with x12 + x22 + ⋯+ xn + 12 = 1. For example, the 3-sphere consists of the points (x1x2x3x4) in R4 with x12 + x22 + x32 + x42 = 1.


The Hopf fibration p: S3S2 of the 3-sphere over the 2-sphere can be defined in several ways.



Direct construction


Identify R4 with C2 and R3 with C × R (where C denotes the complex numbers) by writing:


(x1,x2,x3,x4)↔(z0,z1)=(x1+ix2,x3+ix4)displaystyle (x_1,x_2,x_3,x_4)leftrightarrow (z_0,z_1)=(x_1+ix_2,x_3+ix_4)(x_1,x_2,x_3,x_4)leftrightarrow (z_0,z_1)=(x_1+ix_2,x_3+ix_4)

and



(x1,x2,x3)↔(z,x)=(x1+ix2,x3)displaystyle (x_1,x_2,x_3)leftrightarrow (z,x)=(x_1+ix_2,x_3)(x_1,x_2,x_3)leftrightarrow (z,x)=(x_1+ix_2,x_3).

Thus S3 is identified with the subset of all (z0, z1) in C2 such that |z0|2 + |z1|2 = 1, and S2 is identified with the subset of all (z, x) in C×R such that |z|2 + x2 = 1. (Here, for a complex number z = x + iy, |z|2 = z z = x2 + y2, where the star denotes the complex conjugate.) Then the Hopf fibration p is defined by


p(z0,z1)=(2z0z1∗,|z0|2−|z1|2).^2-leftp(z_0,z_1)=(2z_0z_1^ast ,left|z_0right|^2-left|z_1right|^2).

The first component is a complex number, whereas the second component is real. Any point on the 3-sphere must have the property that |z0|2 + |z1|2 = 1. If that is so, then p(z0, z1) lies on the unit 2-sphere in C × R, as may be shown by squaring the complex and real components of p


2z0z1∗⋅2z0∗z1+(|z0|2−|z1|2)2=4|z0|2|z1|2+|z0|4−2|z0|2|z1|2+|z1|4=(|z0|2+|z1|2)2=1z_0right2z_0z_1^ast cdot 2z_0^ast z_1+left(left|z_0right|^2-left|z_1right|^2right)^2=4left|z_0right|^2left|z_1right|^2+left|z_0right|^4-2left|z_0right|^2left|z_1right|^2+left|z_1right|^4=left(left|z_0right|^2+left|z_1right|^2right)^2=1

Furthermore, if two points on the 3-sphere map to the same point on the 2-sphere, i.e., if p(z0, z1) = p(w0, w1), then (w0, w1) must equal (λ z0, λ z1) for some complex number λ with |λ|2 = 1. The converse is also true; any two points on the 3-sphere that differ by a common complex factor λ map to the same point on the 2-sphere. These conclusions follow, because the complex factor λ cancels with its complex conjugate λ in both parts of p: in the complex 2z0z1 component and in the real component |z0|2 − |z1|2.


Since the set of complex numbers λ with |λ|2 = 1 form the unit circle in the complex plane, it follows that for each point m in S2, the inverse image p−1(m) is a circle, i.e., p−1m ≅ S1. Thus the 3-sphere is realized as a disjoint union of these circular fibers.


A direct parametrization of the 3-sphere employing the Hopf map is as follows.[2]


z0=eiξ1+ξ22sin⁡ηdisplaystyle z_0=e^i,frac xi _1+xi _22sin eta displaystyle z_0=e^i,frac xi _1+xi _22sin eta

z1=eiξ2−ξ12cos⁡η.displaystyle z_1=e^i,frac xi _2-xi _12cos eta .displaystyle z_1=e^i,frac xi _2-xi _12cos eta .

or in Euclidean R4


x1=cos⁡(ξ1+ξ22)sin⁡ηdisplaystyle x_1=cos left(frac xi _1+xi _22right)sin eta displaystyle x_1=cos left(frac xi _1+xi _22right)sin eta

x2=sin⁡(ξ1+ξ22)sin⁡ηdisplaystyle x_2=sin left(frac xi _1+xi _22right)sin eta displaystyle x_2=sin left(frac xi _1+xi _22right)sin eta

x3=cos⁡(ξ2−ξ12)cos⁡ηdisplaystyle x_3=cos left(frac xi _2-xi _12right)cos eta displaystyle x_3=cos left(frac xi _2-xi _12right)cos eta

x4=sin⁡(ξ2−ξ12)cos⁡ηdisplaystyle x_4=sin left(frac xi _2-xi _12right)cos eta displaystyle x_4=sin left(frac xi _2-xi _12right)cos eta

Where η runs over the range 0 to π/2, ξ1 runs over the range 0 and 2π and ξ2 can take any values between 0 and 4π. Every value of η, except 0 and π/2 which specify circles, specifies a separate flat torus in the 3-sphere, and one round trip (0 to 4π) of either ξ1 or ξ2 causes you to make one full circle of both limbs of the torus.


A mapping of the above parametrization to the 2-sphere is as follows, with points on the circles parametrized by ξ2.


z=cos⁡(2η)displaystyle z=cos(2eta )z=cos(2eta )

x=sin⁡(2η)cos⁡ξ1displaystyle x=sin(2eta )cos xi _1x=sin(2eta )cos xi _1

y=sin⁡(2η)sin⁡ξ1displaystyle y=sin(2eta )sin xi _1y=sin(2eta )sin xi _1


Geometric interpretation using the complex projective line


A geometric interpretation of the fibration may be obtained using the complex projective line, CP1, which is defined to be the set of all complex one-dimensional subspaces of C2. Equivalently, CP1 is the quotient of C20 by the equivalence relation which identifies (z0, z1) with (λ z0, λ z1) for any nonzero complex number λ. On any complex line in C2 there is a circle of unit norm, and so the restriction of the quotient map to the points of unit norm is a fibration of S3 over CP1.


CP1 is diffeomorphic to a 2-sphere: indeed it can be identified with the Riemann sphere C = C ∪ ∞, which is the one point compactification of C (obtained by adding a point at infinity). The formula given for p above defines an explicit diffeomorphism between the complex projective line and the ordinary 2-sphere in 3-dimensional space. Alternatively, the point (z0, z1) can be mapped to the ratio z1/z0 in the Riemann sphere C.



Fiber bundle structure


The Hopf fibration defines a fiber bundle, with bundle projection p. This means that it has a "local product structure", in the sense that every point of the 2-sphere has some neighborhood U whose inverse image in the 3-sphere can be identified with the product of U and a circle: p−1(U) ≅ U × S1. Such a fibration is said to be locally trivial.


For the Hopf fibration, it is enough to remove a single point m from S2 and the corresponding circle p−1(m) from S3; thus one can take U = S2m, and any point in S2 has a neighborhood of this form.



Geometric interpretation using rotations


Another geometric interpretation of the Hopf fibration can be obtained by considering rotations of the 2-sphere in ordinary 3-dimensional space. The rotation group SO(3) has a double cover, the spin group Spin(3), diffeomorphic to the 3-sphere. The spin group acts transitively on S2 by rotations. The stabilizer of a point is isomorphic to the circle group. It follows easily that the 3-sphere is a principal circle bundle over the 2-sphere, and this is the Hopf fibration.


To make this more explicit, there are two approaches: the group Spin(3) can either be identified with the group Sp(1) of unit quaternions, or with the special unitary group SU(2).


In the first approach, a vector (x1, x2, x3, x4) in R4 is interpreted as a quaternion qH by writing


q=x1+ix2+jx3+kx4.displaystyle q=x_1+mathbf i x_2+mathbf j x_3+mathbf k x_4.,!displaystyle q=x_1+mathbf i x_2+mathbf j x_3+mathbf k x_4.,!

The 3-sphere is then identified with the versors, the quaternions of unit norm, those qH for which |q|2 = 1, where |q|2 = q q, which is equal to x12 + x22 + x32 + x42 for q as above.


On the other hand, a vector (y1, y2, y3) in R3 can be interpreted as an imaginary quaternion


p=iy1+jy2+ky3.displaystyle p=mathbf i y_1+mathbf j y_2+mathbf k y_3.,!displaystyle p=mathbf i y_1+mathbf j y_2+mathbf k y_3.,!

Then, as is well-known since Cayley (1845), the mapping


p↦qpq∗displaystyle pmapsto qpq^*,!pmapsto qpq^*,!

is a rotation in R3: indeed it is clearly an isometry, since |q p q|2 = q p qq pq = q p pq = |p|2, and it is not hard to check that it preserves orientation.


In fact, this identifies the group of versors with the group of rotations of R3, modulo the fact that the versors q and q determine the same rotation. As noted above, the rotations act transitively on S2, and the set of versors q which fix a given right versor p have the form q = u + v p, where u and v are real numbers with u2 + v2 = 1. This is a circle subgroup. For concreteness, one can take p = k, and then the Hopf fibration can be defined as the map sending a versor ω to ω k ω. All the quaternions ωq, where q is one of the circle of versors that fix k, get mapped to the same thing (which happens to be one of the two 180° rotations rotating k to the same place as ω does).


Another way to look at this fibration is that every versor ω moves the plane spanned by 1, k to a new plane spanned by ω, ωk. Any quaternion ωq, where q is one of the circle of versors that fix k, will have the same effect. We put all these into one fibre, and the fibres can be mapped one-to-one to the 2-sphere of 180° rotations which is the range of ωkω*.


This approach is related to the direct construction by identifying a quaternion q = x1 + i x2 + j x3 + k x4 with the 2×2 matrix:


[x1+ix2x3+ix4−x3+ix4x1−ix2].displaystyle beginbmatrixx_1+mathbf i x_2&x_3+mathbf i x_4\-x_3+mathbf i x_4&x_1-mathbf i x_2endbmatrix.,!displaystyle beginbmatrixx_1+mathbf i x_2&x_3+mathbf i x_4\-x_3+mathbf i x_4&x_1-mathbf i x_2endbmatrix.,!

This identifies the group of versors with SU(2), and the imaginary quaternions with the skew-hermitian 2×2 matrices (isomorphic to C × R).



Explicit formulae


The rotation induced by a unit quaternion q = w + i x + j y + k z is given explicitly by the orthogonal matrix


[1−2(y2+z2)2(xy−wz)2(xz+wy)2(xy+wz)1−2(x2+z2)2(yz−wx)2(xz−wy)2(yz+wx)1−2(x2+y2)].displaystyle beginbmatrix1-2(y^2+z^2)&2(xy-wz)&2(xz+wy)\2(xy+wz)&1-2(x^2+z^2)&2(yz-wx)\2(xz-wy)&2(yz+wx)&1-2(x^2+y^2)endbmatrix.beginbmatrix1-2(y^2+z^2)&2(xy-wz)&2(xz+wy)\2(xy+wz)&1-2(x^2+z^2)&2(yz-wx)\2(xz-wy)&2(yz+wx)&1-2(x^2+y^2)endbmatrix.

Here we find an explicit real formula for the bundle projection. For, the fixed unit vector along the z axis, (0,0,1), rotates to another unit vector,


(2(xz+wy),2(yz−wx),1−2(x2+y2)),displaystyle Big (2(xz+wy),2(yz-wx),1-2(x^2+y^2)Big ),,!Big (2(xz+wy),2(yz-wx),1-2(x^2+y^2)Big ),,!

which is a continuous function of (w, x, y, z). That is, the image of q is where it aims the z axis. The fiber for a given point on S2 consists of all those unit quaternions that aim there.


To write an explicit formula for the fiber over a point (a, b, c) in S2, we may proceed as follows. Multiplication of unit quaternions produces composition of rotations, and


qθ=cos⁡θ+ksin⁡θdisplaystyle q_theta =cos theta +mathbf k sin theta displaystyle q_theta =cos theta +mathbf k sin theta

is a rotation by 2θ around the z axis. As θ varies, this sweeps out a great circle of S3, our prototypical fiber. So long as the base point, (a, b, c), is not the antipode, (0, 0, −1), the quaternion


q(a,b,c)=12(1+c)(1+c−ib+ja)displaystyle q_(a,b,c)=frac 1sqrt 2(1+c)(1+c-mathbf i b+mathbf j a)displaystyle q_(a,b,c)=frac 1sqrt 2(1+c)(1+c-mathbf i b+mathbf j a)

will aim there. Thus the fiber of (a, b, c) is given by quaternions of the form q(a, b, c)qθ, which are the S3 points


12(1+c)((1+c)cos⁡(θ),asin⁡(θ)−bcos⁡(θ),acos⁡(θ)+bsin⁡(θ),(1+c)sin⁡(θ)).displaystyle frac 1sqrt 2(1+c)Big ((1+c)cos(theta ),asin(theta )-bcos(theta ),acos(theta )+bsin(theta ),(1+c)sin(theta )Big ).,!frac 1sqrt 2(1+c)Big ((1+c)cos(theta ),asin(theta )-bcos(theta ),acos(theta )+bsin(theta ),(1+c)sin(theta )Big ).,!

Since multiplication by q(a,b,c) acts as a rotation of quaternion space, the fiber is not merely a topological circle, it is a geometric circle. The final fiber, for (0, 0, −1), can be given by using q(0,0,−1) = i, producing


(0,cos⁡(θ),−sin⁡(θ),0),displaystyle Big (0,cos(theta ),-sin(theta ),0Big ),Big (0,cos(theta ),-sin(theta ),0Big ),

which completes the bundle.


Thus, a simple way of visualizing the Hopf fibration is as follows. Any point on the 3-sphere is equivalent to a quaternion, which in turn is equivalent to a particular rotation of a Cartesian coordinate frame in three dimensions. The set of all possible quaternions produces the set of all possible rotations, which moves the tip of one unit vector of such a coordinate frame (say, the z vector) to all possible points on a unit 2-sphere. However, fixing the tip of the z vector does not specify the rotation fully; a further rotation is possible about the z-axis. Thus, the 3-sphere is mapped onto the 2-sphere, plus a single rotation.



Fluid mechanics


If the Hopf fibration is treated as a vector field in 3 dimensional space then there is a solution to the (compressible, non-viscous) Navier-Stokes equations of fluid dynamics in which the fluid flows along the circles of the projection of the Hopf fibration in 3 dimensional space. The size of the velocities, the density and the pressure can be chosen at each point to satisfy the equations. All these quantities fall to zero going away from the centre. If a is the distance to the inner ring, the velocities, pressure and density fields are given by:


v(x,y,z)=A(a2+x2+y2+z2)−2(2(−ay+xz),2(ax+yz),a2−x2−y2+z2)displaystyle mathbf v (x,y,z)=Aleft(a^2+x^2+y^2+z^2right)^-2left(2(-ay+xz),2(ax+yz),a^2-x^2-y^2+z^2right)mathbf v (x,y,z)=Aleft(a^2+x^2+y^2+z^2right)^-2left(2(-ay+xz),2(ax+yz),a^2-x^2-y^2+z^2right)

p(x,y,z)=−A2B(a2+x2+y2+z2)−3,displaystyle p(x,y,z)=-A^2Bleft(a^2+x^2+y^2+z^2right)^-3,p(x,y,z)=-A^2Bleft(a^2+x^2+y^2+z^2right)^-3,

ρ(x,y,z)=3B(a2+x2+y2+z2)−1displaystyle rho (x,y,z)=3Bleft(a^2+x^2+y^2+z^2right)^-1rho (x,y,z)=3Bleft(a^2+x^2+y^2+z^2right)^-1

for arbitrary constants A and B. Similar patterns of fields are found as soliton solutions of magnetohydrodynamics:[3]



Generalizations


The Hopf construction, viewed as a fiber bundle p: S3CP1, admits several generalizations, which are also often known as Hopf fibrations. First, one can replace the projective line by an n-dimensional projective space. Second, one can replace the complex numbers by any (real) division algebra, including (for n = 1) the octonions.



Real Hopf fibrations


A real version of the Hopf fibration is obtained by regarding the circle S1 as a subset of R2 in the usual way and by
identifying antipodal points. This gives a fiber bundle S1RP1 over the real projective line with fiber S0 = 1, −1. Just as CP1 is diffeomorphic to a sphere, RP1 is diffeomorphic to a circle.


More generally, the n-sphere Sn fibers over real projective space RPn with fiber S0.



Complex Hopf fibrations


The Hopf construction gives circle bundles p : S2n+1CPn over complex projective space. This is actually the restriction of the tautological line bundle over CPn to the unit sphere in Cn+1.



Quaternionic Hopf fibrations


Similarly, one can regard S4n+3 as lying in Hn+1 (quaternionic n-space) and factor out by unit quaternion (= S3) multiplication to get the quaternionic projective space HPn. In particular, since S4 = HP1, there is a bundle S7S4 with fiber S3.



Octonionic Hopf fibrations


A similar construction with the octonions yields a bundle S15S8 with fiber S7. But the sphere S31 does not fiber over S16 with fiber S15. One can regard S8 as the octonionic projective line OP1. Although one can also define an octonionic projective plane OP2, the sphere S23 does not fiber over OP2
with fiber S7.[4][5]



Fibrations between spheres


Sometimes the term "Hopf fibration" is restricted to the fibrations between spheres obtained above, which are



  • S1S1 with fiber S0


  • S3S2 with fiber S1


  • S7S4 with fiber S3


  • S15S8 with fiber S7

As a consequence of Adams' theorem, fiber bundles with spheres as total space, base space, and fiber can occur only in these dimensions.
Fiber bundles with similar properties, but different from the Hopf fibrations, were used by John Milnor to construct exotic spheres.



Geometry and applications




The fibers of the Hopf fibration stereographically project to a family of Villarceau circles in R3.


The Hopf fibration has many implications, some purely attractive, others deeper. For example, stereographic projection S3R3 induces a remarkable structure in R3, which in turn illuminates the topology of the bundle (Lyons 2003). Stereographic projection preserves circles and maps the Hopf fibers to geometrically perfect circles in R3 which fill space. Here there is one exception: the Hopf circle containing the projection point maps to a straight line in R3 — a "circle through infinity".


The fibers over a circle of latitude on S2 form a torus in S3 (topologically, a torus is the product of two circles) and these project to nested toruses in R3 which also fill space. The individual fibers map to linking Villarceau circles on these tori, with the exception of the circle through the projection point and the one through its opposite point: the former maps to a straight line, the latter to a unit circle perpendicular to, and centered on, this line, which may be viewed as a degenerate torus whose radius has shrunken to zero. Every other fiber image encircles the line as well, and so, by symmetry, each circle is linked through every circle, both in R3 and in S3. Two such linking circles form a Hopf link in R3


Hopf proved that the Hopf map has Hopf invariant 1, and therefore is not null-homotopic. In fact it generates the homotopy group π3(S2) and has infinite order.


In quantum mechanics, the Riemann sphere is known as the Bloch sphere, and the Hopf fibration describes the topological structure of a quantum mechanical two-level system or qubit. Similarly, the topology of a pair of entangled two-level systems is given by the Hopf fibration


S3↪S7→S4.displaystyle S^3hookrightarrow S^7to S^4.S^3hookrightarrow S^7to S^4.

(Mosseri & Dandoloff 2001).


The Hopf fibration is equivalent to the fiber bundle structure of the Dirac monopole.[6]



Notes



  1. ^ quaternionic Hopf Fibration, ncatlab.org. https://ncatlab.org/nlab/show/quaternionic+Hopf+fibration


  2. ^ Smith, Benjamin. "Benjamin H. Smith's Hopf fibration notes" (PDF)..mw-parser-output cite.citationfont-style:inherit.mw-parser-output qquotes:"""""""'""'".mw-parser-output code.cs1-codecolor:inherit;background:inherit;border:inherit;padding:inherit.mw-parser-output .cs1-lock-free abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-lock-subscription abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registrationcolor:#555.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration spanborder-bottom:1px dotted;cursor:help.mw-parser-output .cs1-hidden-errordisplay:none;font-size:100%.mw-parser-output .cs1-visible-errorfont-size:100%.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-formatfont-size:95%.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-leftpadding-left:0.2em.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-rightpadding-right:0.2em


  3. ^ Kamchatnov, A. M. (1982), Topological solitons in magnetohydrodynamics (PDF)


  4. ^ Besse, Arthur (1978). Manifolds all of whose Geodesics are Closed. Springer-Verlag. ISBN 978-3-540-08158-6. (§0.26 on page 6)


  5. ^ sci.math.research 1993 thread "Spheres fibred by spheres"


  6. ^ Friedman, John L. (June 2015). "Historical note on fiber bundles". Physics Today. 68 (6): 11. Bibcode:2015PhT....68f..11F. doi:10.1063/PT.3.2799.



References



  • Cayley, Arthur (1845), "On certain results relating to quaternions", Philosophical Magazine, 26: 141–145, doi:10.1080/14786444508562684; reprinted as article 20 in Cayley, Arthur (1889), The collected mathematical papers of Arthur Cayley, I, (1841–1853), Cambridge University Press, pp. 123–126


  • Hopf, Heinz (1931), "Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche", Mathematische Annalen, Berlin: Springer, 104 (1): 637–665, doi:10.1007/BF01457962, ISSN 0025-5831


  • Hopf, Heinz (1935), "Über die Abbildungen von Sphären auf Sphären niedrigerer Dimension", Fundamenta Mathematicae, Warsaw: Polish Acad. Sci., 25: 427–440, ISSN 0016-2736


  • Lyons, David W. (April 2003), "An Elementary Introduction to the Hopf Fibration" (PDF), Mathematics Magazine, 76 (2): 87–98, doi:10.2307/3219300, ISSN 0025-570X, JSTOR 3219300


  • Mosseri, R.; Dandoloff, R. (2001), "Geometry of entangled states, Bloch spheres and Hopf fibrations", Journal of Physics A: Mathematical and Theoretical, 34 (47): 10243–10252, arXiv:quant-ph/0108137, Bibcode:2001JPhA...3410243M, doi:10.1088/0305-4470/34/47/324.


  • Steenrod, Norman (1951), The Topology of Fibre Bundles, PMS 14, Princeton University Press (published 1999), ISBN 978-0-691-00548-5


  • Urbantke, H.K. (2003), "The Hopf fibration-seven times in physics", Journal of Geometry and Physics, 46 (2): 125–150, Bibcode:2003JGP....46..125U, doi:10.1016/S0393-0440(02)00121-3.


External links



  • Hazewinkel, Michiel, ed. (2001) [1994], "Hopf fibration", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4


  • Dimensions Math Chapters 7 and 8 illustrate the Hopf fibration with animated computer graphics.

  • YouTube animation showing dynamic mapping of points on the 2-sphere to circles in the 3-sphere, by Professor Niles Johnson.


  • YouTube animation of the construction of the 120-cell By Gian Marco Todesco shows the Hopf fibration of the 120-cell.


  • Video of one 30-cell ring of the 600-cell from http://page.math.tu-berlin.de/~gunn/.


這個網誌中的熱門文章

How to read a connectionString WITH PROVIDER in .NET Core?

Node.js Script on GitHub Pages or Amazon S3

Museum of Modern and Contemporary Art of Trento and Rovereto