- #1
TrickyDicky
- 3,507
- 27
The extended plane (E2 U ∞) is a non-orientable surface, and yet topologically is a sphere which is orientable, can someone comment on how this is reconciled?
Ok.lavinia said:A topological sphere which is a smooth manifold is always orientable.
One proof is that the 1 dimensional mod 2 cohomology is zero so the first Stiefel Whitney class is zero. This will be true of any simply connected manifold.
A circle? All my references say the extended euclidean plane is compactified by a point at infinity, i.e. wiki:"The one-point compactification of n-dimensional Euclidean space Rn is homeomorphic to the n-sphere Sn. As above, the map can be given explicitly as an n-dimensional inverse stereographic projection." from examples in http://en.wikipedia.org/wiki/Alexandroff_extensionThe plane can be extended by attaching a circle rather than a point. If attached in the proper way the result is the projective plane which is non orientable. Its first mod 2 cohomology group is Z/2 and the non zero class is the first Stiefel Whitney class.
TrickyDicky said:I'm actually in doubt about orientability being a topological invariant, but I'm quite positive simply-connectedness is.
TrickyDicky said:So maybe they are not homeomorphic after all? But I've seen it stated in more than one source: for instance:"A sphere Σ of ˆEn(extended En) is defined to be either a Euclidean sphere S(a, r) or an extended plane ˆ P(a, t) = P(a, t) ∪ {∞}. It is worth noting that ˆ P(a, t) is topologically a sphere." In Rattcliffe's "Foundations of hyperbolic geometry"
lavinia said:It is a topological invariant which can be seen using the topological definition of orientability. Also for compact manifolds without boundary ,orientability is equivalent to the top dimensional Z homology being equal to Z.
lavinia said:The projective plane can be thought of as the Euclidean plane together with a circle at infinity. This circle can be thought of as the set of pencils of parallel lines.
Topologically one obtains the projective plane from a closed disk by identifying antipodal points on the boundary circle. Note that this is a disk with a circle attached.
The projective plane is not a topological sphere. For instance it is not simply connected. Its fundamental group is Z/2.
TrickyDicky said:Ok, what you are saying makes sense, thanks. They cannot be homeomorphic. So I guess they are being sloppy in the quotes I referenced?
lavinia said:It is a topological invariant which can be seen using the topological definition of orientability. Also for compact manifolds without boundary ,orientability is equivalent to the top dimensional Z homology being equal to Z.
TrickyDicky said:I'm actually in doubt about orientability being a topological invariant, but I'm quite positive simply-connectedness is.
I never heard of adding a sphere in order to compactify; do you know the name of that type of compactification?
This was my initial understanding but after listening to the replies and looking into it there are some nuances that I think might be worth taking into account: if one just means by the Euclidean plane a surface with Euclidean geometry on it, like for intance the complex plane CP1, it is a correct statement, however if one is referring to the projective plane R2, as it was pointed out there is not a one point compactification, one needs a circle to compactify it, and it is not homeomorphic to S2 but to its quotient by +/- the identity if I understood it right.homeomorphic said:I was talking about the 1-point compactification. If you do that to a 2-d Euclidean plane, you get a sphere. The sphere is not added. The plane becomes a sphere when you add the point at infinity.
This was my initial understanding but after listening to the replies and looking into it there are some nuances that I think might be worth taking into account: if one just means by the Euclidean plane a surface with Euclidean geometry on it, like for intance the complex plane CP1, it is a correct statement, however if one is referring to the projective plane R2, as it was pointed out there is not a one point compactification, one needs a circle to compactify it, and it is not homeomorphic to S2 but to its quotient by +/- the identity if I understood it right.
WWGD said:Well, continuity is not enough to preserve path-connectedness, but a homeomorphism is enough ; the topologists' sine curve is a(n) (counter) example for continuity alone. Naively, it would seem that if X is path connected and I have a path p between x_1, x_2 in X, and
## f: X \rightarrow Y ## is continuous, them f(p) is a path between## f(x_1) , f(x_2) ## . But of course, we would need a bijection to guarantee that every y in Y is the image of some x in X. And a homeomorphism gives us that.
So, to show homeos. preserve path connectedness; basically by pulling back paths bijectively:
Let h: X-->Y be a homeomorphism , with X path connected. Consider ## y_1, y_2 \in Y ## . Then there are ## x_1, x_2 \in X ##, with ## f(x_1)=y_1 , f(x_2)=y_2 ## . By path-connectedness of X, there is a path ## p : I \rightarrow X ## with ## p(0)=x_1, p(1)=x_2 ## ( let's assume I = [0,1] to simplify ). The image ## h(p)## is a path joining ## y_1, y_2## in ## Y ## . Of course we need a bijection to use t5his result, which we get since ##h ## is a homeomorphism.
Absolutely correct.TrickyDicky said:This was my initial understanding but after listening to the replies and looking into it there are some nuances that I think might be worth taking into account: if one just means by the Euclidean plane a surface with Euclidean geometry on it, like for intance the complex plane CP1, it is a correct statement, however if one is referring to the projective plane R2, as it was pointed out there is not a one point compactification, one needs a circle to compactify it, and it is not homeomorphic to S2 but to its quotient by +/- the identity if I understood it right.
homeomorphic said:I was talking about the 1-point compactification. If you do that to a 2-d Euclidean plane, you get a sphere. The sphere is not added. The plane becomes a sphere when you add the point at infinity.
lavinia said:Absolutely correct.
Ilavinia said:Absolutely correct.
I think trickydicky meant the complex plane since that is what he said.WWGD said:I never said the sphere was added, I said that 1-pt compactifications can be done only on locally-compact Hausdorff spaces by adding a point, and that the result would be a topological sphere by , e.g., the inverse stereographic projection. I guess some types of surfaces can be embedded in complex projective n-space; I don't know the necessary conditions for this to happen. If these surfaces can be embedded in R^n , then I guess we can compose the embedded image can be composed with the inverse stereographic projection for an embedding into S^n. Maybe we can use Whitney embedding theorem : embed a surface in R^4 ( or lower ) , then do the 1-pt. compactification, then the composition of these two would give us an embedding into S^n. Anyone know if there are results for embedding surfaces in CP^n for n>1 ?
Not quite; the geometry of CP^1 is locally-Euclidean, CP^1 being a manifold, but is not Euclidean; for one, CP^1 is compact ( being homeo. to S^2 ) , but Eucliodean space is not.
And the topologists sine curve is an example of a continuous surjection ( onto its image ) from a path-connected space ( the unit interval) , into the non-path-connected topologists sine curve. The OP asked whether path-connected was a topological property and that is what I answered.
lavinia said:I
I think trickydicky meant the complex plane since that is what he said.
You are mistaken about the topologists sine curve. If you examine your own proof that path connectedness is a topological invariant you see that you only used that the map was surjective.
This is not quite what was said. [itex] RP^2 [/itex] (or [itex] CP^2 [/itex]) is a quotient of a sphere so it is already compact. So if you take the one point compactification (which definitely does exist as has already been mentioned since the space is locally compact Hausdorf) you just get [itex] RP^2[/itex] or [itex] CP^2 [/itex] with an isolated point added so this is not interesting at all.TrickyDicky said:however if one is referring to the projective plane R2, as it was pointed out there is not a one point compactification, one needs a circle to compactify it, and it is not homeomorphic to S2 but to its quotient by +/- the identity if I understood it right.
You need to include the point [itex] 0 [/itex] for the topologists sine curve to be non-path connected. You can't extend the map from [itex] (0,1] [/itex] to the topologists sine curve including [itex] 0 [/itex] in a continuous way.WWGD said:But how can the topologist's sine curve not be a counterexample? It is a continuous surjection
WWGD said:2) According to Wiki, all affine spaces and affine varieties can be embedded in some projective space
That was just obviously a mistake, I was referring to the complex line that is compactified to CP1.WWGD said:I never said the sphere was added, I said that 1-pt compactifications can be done only on locally-compact Hausdorff spaces by adding a point, and that the result would be a topological sphere by , e.g., the inverse stereographic projection. I guess some types of surfaces can be embedded in complex projective n-space; I don't know the necessary conditions for this to happen. If these surfaces can be embedded in R^n , then I guess we can compose the embedded image can be composed with the inverse stereographic projection for an embedding into S^n. Maybe we can use Whitney embedding theorem : embed a surface in R^4 ( or lower ) , then do the 1-pt. compactification, then the composition of these two would give us an embedding into S^n. Anyone know if there are results for embedding surfaces in CP^n for n>1 ?
Not quite; the geometry of CP^1 is locally-Euclidean, CP^1 being a manifold, but is not Euclidean; for one, CP^1 is compact ( being homeo. to S^2 ) , but Eucliodean space is not.
And the topologists sine curve is an example of a continuous surjection ( onto its image ) from a path-connected space ( the unit interval) , into the non-path-connected topologists sine curve. The OP asked whether path-connected was a topological property and that is what I answered.
TrickyDicky said:I was referring to the complex line that is compactified to CP1.
An extended plane as a topological sphere is a mathematical concept in topology that refers to a two-dimensional surface with no edges or boundaries. It is often represented as a sphere with a hole or puncture, giving it a similar topology to a plane.
An extended plane differs from a regular plane in that it has no boundaries or edges. This means that points on the surface can be continuously deformed into one another without ever crossing a boundary or edge.
Extended planes as topological spheres have many applications in physics, engineering, and computer graphics. They are used to model the shape of the universe, design curved surfaces in architecture and engineering, and create smooth 3D models in computer graphics.
Topology is the branch of mathematics that studies the properties of geometric objects that are preserved under continuous deformations. An extended plane as a topological sphere is a specific example of a surface with topological properties, such as being simply connected and having no boundary.
Extended planes as topological spheres have many practical implications in various fields, including physics, engineering, and computer science. They allow for the study and design of complex surfaces and spaces, and have applications in fields such as cosmology, architecture, and 3D modeling.