Torus with two Möbius Strips

  • A
  • Thread starter dkotschessaa
  • Start date
  • Tags
    Torus
In summary: If you mean the diagram for a torus with a hole in it that you showed here in post 7 then nothing is wrong with ##b_1##.The curve ##c## is a closed loop and you have attached a Mobius band to it using a half the boundary of the band which is not a...
  • #1
dkotschessaa
1,060
783
Another zany homology question:

Just let me know if I have my labeling scheme right so far.

I have a torus. I have cut two holes into it and am attaching Möbius strips around the holes. (Clearly we are not in 3 dimensions?)

My Torus is represented by a polygon with the labeling scheme ## a b a^{-1}b^{-1} ## and my strips are labeled ## a b c b ## as follows (I'll subscript them after pasting)

Torusmobius.jpg


I'll subscript the torus with 1s, and the 2 mobius strips will be subscripted with 2s and 3s.

I think I cut a hole in the Torus just by cutting a corner off of the polygon. I'll attach the strips to attain the following monstrosity:

torusmobius2.jpg
I end up with a long labeling scheme:

##a_1 b_1 c_1 b_2 b_1 b_3 c_3 b_3 a_1^{-1} b_1^{-1} ##

Before I say any further, is this what cutting a hole in a Torus and gluing a Möbius band even would look like? Obviously I can't picture this outside the polygons here. Thanks for your patience.

-Dave K
 
Physics news on Phys.org
  • #2
"Before I say any further, is this what cutting a hole in a Torus and gluing a Möbius band even would look like?"

Do you mean "a" Möbius band, or "two" of them?
 
  • #3
zinq said:
"Before I say any further, is this what cutting a hole in a Torus and gluing a Möbius band even would look like?"

Do you mean "a" Möbius band, or "two" of them?
Two.
 
  • #4
dkotschessaa said:
Another zany homology question:

I end up with a long labeling scheme:

##a_1 b_1 c_1 b_2 b_1 b_3 c_3 b_3 a_1^{-1} b_1^{-1} ##

Before I say any further, is this what cutting a hole in a Torus and gluing a Möbius band even would look like? Obviously I can't picture this outside the polygons here. Thanks for your patience.

-Dave K

Sorry, that's not what I end up with. I get:##a_1 b_2 c_2 b_2 b_1 b_3 c_3 b_3 a_1^{-1} b_1^{-1} ##

Still, if anyone can let me know if I have even this preliminary step right I would appreciate it.

Might as well keep going.

When I relabel I get:

## a b c d a^{-1}b^{-1} ##

Which still isn't something I know from the classification theorem.
 
  • #5
I don't see how you diagram accomplishes what you want. For instance, once you cut the corner s off the identification of ##b1## no longer makes sense. Can you explain this better?
 
  • #6
lavinia said:
I don't see how you diagram accomplishes what you want. For instance, once you cut the corner s off the identification of ##b1## no longer makes sense. Can you explain this better?

Sorry, I didn't realize there'd been an update to this thread. Thought I was going to have to go to stackexchange. ::shudder::

I admit that I am confused as to how to properly make this hole with regards to the polygonal region. I will revisit.

-Dave K
 
  • Like
Likes Greg Bernhardt
  • #7
Nope. Don't know how to do it. I am thinking that cutting a hole in a torus equates to cutting a corner off the torus, which is really like adding a side. i.e. when Munkres glues two tori together:

upload_2016-12-22_14-1-8.png


So why doesn't my ## b_1 ## make sense?
 
  • #8
dkotschessaa said:
Nope. Don't know how to do it. I am thinking that cutting a hole in a torus equates to cutting a corner off the torus, which is really like adding a side. i.e. when Munkres glues two tori together:

View attachment 110674

So why doesn't my ## b_1 ## make sense?
It might make sense. I found it confusing because you cut off part of one ##b_{1}## that is identified to the other. So where does the identification go?
 
  • #9
lavinia said:
It might make sense. I found it confusing because you cut off part of one ##b_{1}## that is identified to the other. So where does the identification go?

Of course in a regular torus, the ##b_1## would go back to the other ##b_1##, The ##a_1## similarly. The Mobius strips would be joined up in their usual way, though I don't know how this effects the overall "shape". I certainly can't visualize it! But at least according to the question, this thing should be able to be classified, so it's an n-fold torus, n-fold projective plane or a sphere, although it certainly looks like something much weirder to me.

-Dave K
 
  • #10
dkotschessaa said:
Nope. Don't know how to do it. I am thinking that cutting a hole in a torus equates to cutting a corner off the torus, which is really like adding a side. i.e. when Munkres glues two tori together:

View attachment 110674

So why doesn't my ## b_1 ## make sense?

If you mean the diagram for a torus with a hole in it that you showed here in post 7 then nothing is wrong with ##b_1##.

The curve ##c## is a closed loop and you have attached a Mobius band to it using a half the boundary of the band which is not a closed loop. So the band gets folded and is no longer a surface with a boundary. Is that what you want?

One thing that can be done is to attach the entire boundary of the Mobius band to the curve ##c##. This lines up two boundary circles so that the resulting glued together space is a closed surface without boundary. Can you redraw this space to make a polygon with edges identified?

I think by Van Kampen's Theorem that the relation will be ##aba^{-1}b^{-1}c^{-1}##.
 
Last edited:
  • #11
If you are willing to use the theorem that classifies all "closed surfaces"* that says that one needs just two pieces of information to determine which surface one has: the Euler characteristic** and the orientability. Since the surface described here — let's call it M — contains a Möbius band, it must be non-orientable. The Euler characteristic of a torus is 0, so that of a torus with two holes is 0 - 2 = -2. The Euler characteristic of a Möbius band is 0 as is that of a circle (like the boundary of a Möbius band), so it follows that the closed surface M has Euler characteristic -2.

The only closed surface that is non-orientable and has Euler characteristic = -2 is the connected sum of 4 projective planes — or what is the same thing, of 2 Klein bottles. It's fairly standard to determine its homology groups as they are listed in https://topospaces.subwiki.org/wiki/Homology_of_compact_non-orientable_surfaces.

—————
* A closed surface is a compact surface without boundary.

** The Euler characteristic of an abstract polyhedral surface N is V - E + F, where V, E, F are the numbers of vertices, edges, and faces of the polyhedron. It is remarkable that this integer depends only on the topological type of the surface N.
 
  • #12
as just suggested, the euler number is very useful for these questions. note that every surface is obtained from a sphere by adding handles and/or cross caps (mobius bands). i.e. by taking connected sum with a torus and/or a projective plane. Moreover adding a handle makes the euler number go down by 2 while adding a cross cap makes it go down by 1. So as stated the surface here has euler number -2. Moreover there are exactly two surfaces having each even euler number ≤ 0. In particular, adding 4 crosscaps to a sphere gives the same result as adding one handle and two crosscaps. thus although it is not true in general that 2 crosscaps are the same as one handle, they are in the presence of another crosscap. Thus every surface is obtained by adding a certain number ≥ 0 of handles and either 0,1, or 2 crosscaps. There is only one surface with euler number 2, and one for each odd negative number, the latter necessarily being non orientable. This is nicely explained in the book by Massey, Alg Top, an introduction, using triangulations. I hope I got this right. I only learned it a couple years ago by teaching it to a group of brilliant youngsters at Epsilon camp.
http://epsiloncamp.org/
 
Last edited:
  • #13
I think the OP's question is how to represent the torus with the two Mobius bands attached as a polygon with edge identifications.
 
Last edited:

1. What is a Torus with two Möbius Strips?

A Torus with two Möbius Strips, also known as a double torus, is a topological shape that combines two Möbius strips with a torus. It has a doughnut-like appearance with two holes, and is a non-orientable surface, meaning it has no distinct inside or outside.

2. How is a Torus with two Möbius Strips different from a regular torus?

Unlike a regular torus, which has a single hole and is orientable, a Torus with two Möbius Strips has two holes and is non-orientable. This means that it cannot be turned or flipped inside out without tearing or stretching the surface.

3. What are the properties of a Torus with two Möbius Strips?

A Torus with two Möbius Strips has some interesting properties, such as being a continuous surface with no boundaries. It also has only one side and one edge, making it a non-orientable surface. Additionally, it cannot be embedded in three-dimensional space without self-intersections.

4. How is a Torus with two Möbius Strips useful in science?

Torus with two Möbius Strips is a popular mathematical and scientific concept that has applications in many fields, including physics, chemistry, and biology. It is often used as a model to study non-orientable surfaces and topological properties of objects. It also has practical applications in designing 3D structures and surfaces.

5. Can a Torus with two Möbius Strips exist in the real world?

While a Torus with two Möbius Strips cannot be physically constructed in our three-dimensional space, it can exist in the mathematical world. However, there have been attempts to create physical models using materials such as paper or plastic, but these models often have flaws due to the complexity of the shape.

Similar threads

  • Set Theory, Logic, Probability, Statistics
2
Replies
62
Views
2K
  • Topology and Analysis
Replies
6
Views
5K
  • Special and General Relativity
Replies
1
Views
935
Replies
4
Views
188
  • Linear and Abstract Algebra
Replies
7
Views
2K
  • Quantum Physics
Replies
1
Views
819
  • General Math
Replies
6
Views
2K
  • Programming and Computer Science
Replies
1
Views
1K
Replies
8
Views
1K
  • Linear and Abstract Algebra
Replies
4
Views
2K
Back
Top