The Klein bottle using the Euler caracteristic + orientability caracterisation

  • Thread starter Thread starter quasar987
  • Start date Start date
  • Tags Tags
    Euler Klein
quasar987
Science Advisor
Homework Helper
Gold Member
Messages
4,796
Reaction score
32
I went off on my own to study the Euler caracteristic + orentability caracterisation of closed surface and I must have gotten lost somewhere, because I do not find that the Klein bottle is homeomorphic to \mathbb{R}P^2\#\mathbb{R}P^2 as I should.

I started with the result that for two surfaces M and N, we have

\chi(M\#N)=\chi(M)+\chi(N)-2

then I proved by induction that

\chi(M^{\#_k})=(k+1)\chi(M)-2k

which can be solved for k:

k=\frac{\chi(M^{\#_k})-\chi(M)}{\chi(M)-2}

Now, the Klein bottle is not orientable, so it must be homeomorphic to (\mathbb{R}P^2)^{\#_k} for some k. And since the Euler caracteristic is a topological invariant, it must be that

\chi((\mathbb{R}P^2)^{\#_k})=\chi(K)

And so, according to the above formula for k, with \chi(M)=\chi(\mathbb{R}P^2)=1,

k=\frac{\chi(K)-1}{1-2}=1-\chi(K)

So all that remains to do is to triangulate K and find its Euler caracteristic. A fundamental polygon for the Klein bottle is provided here:

http://en.wikipedia.org/wiki/Classification_theorems_of_surfaces#Construction_from_polygons

I believe it can be triangulated simply by drawing a side across one of the diagonal. All the vertices are identified, so V=1. There are 3 distinct sides, so E=3. My triangulation has 2 triangles so F=2, thus

\chi(K)=1-3+2=0

But this means that k=1, which is incorrect. It should be 2.

Where did I go wrong?
 
Last edited:
Physics news on Phys.org
well your euler characteristic calculation seems correct, since just looking at a picture of a klein bottle (the picture in my head) shows it obviously has the same edges faces and vertices as a torus, hence has the same euler chracteristic, namely zero. so the error is likely somewhere else.
 
Whoah! There's no error at all !

\mathbb{R}P^2\#\mathbb{R}P^2 = (\mathbb{R}P^2)^{\#_1}

k=1 is correct!

Edit: No! k should be 2 but I made an error in the very beginning by misinterpreting the #_k notation. I thought k referred to the number of # symbol, while it refers to the number of spaces you glue together.
 
Last edited:
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top