Euler characteristic

raul21 · July 3rd, 2017, 05:31 PM

Where can I find a complete and rigorous proof that it's well-defined? For manifolds. When you polygonalize them, show that no matter how you do it, you get the same integer.

Also, where can I find a proof it's a topological invariant?

Micrm@ss · July 12th, 2017, 07:26 AM

I think that "Introduction to topological manifolds" by Lee gives the proof you seek. The only thing it doesn't prove explicitly is that surfaces have a triangulation, but that is fairly technical to prove actually.

raul21 · July 31st, 2017, 09:58 AM

Thanks. Also, I wonder what happens in higher dimensions? How do you even define Euler characteristic for an arbitrary manifold? It has to be compact or what? You then polytopize it, or what? Or via simplicial/CW complexes? It's defined by Betti numbers and homology groups, but can it be shawn maybe it's the same thing?

As for a manifold to even have a polytopization or whatever, a general proof that every compact surface has a rectangular decomposition is given in Lefschetz's Introduction To Topology.

Micrm@ss · July 31st, 2017, 10:30 AM

The easiest way to define the Euler characteristic and to show it is an invariant is through homology theory. Lee does this in his book.
Note that in higher dimensions, manifolds are not always triangularizable.

raul21 · July 31st, 2017, 03:14 PM

Quote:

Originally Posted by Micrm@ss $View Post$

The easiest way to define the Euler characteristic and to show it is an invariant is through homology theory. Lee does this in his book.
Note that in higher dimensions, manifolds are not always triangularizable.

Because triangles are two-dimensional? How about simplicial complexes, then? Or something more general?

Micrm@ss · July 31st, 2017, 03:35 PM

Nono, a triangulation is more than triangles. It can involve tetrahedrons etc too. Formally it is finding a simplical complex that is homeomorphic to the space. You can do this for any 2-dimensional and 3-dimensional manifold, but not higher in general.

raul21 · July 31st, 2017, 03:41 PM

Quote:

Originally Posted by Micrm@ss $View Post$

Nono, a triangulation is more than triangles. It can involve tetrahedrons etc too. Formally it is finding a simplical complex that is homeomorphic to the space. You can do this for any 2-dimensional and 3-dimensional manifold, but not higher in general.

Ah, ok, thanks.

Why not, though? I don't see it...can you prove it please?

Micrm@ss · August 1st, 2017, 02:26 AM

It is very difficult to prove. But see https://en.wikipedia.org/wiki/E8_manifold

July 3rd, 2017, 05:31 PM	#1
raul21 Senior Member Joined: Apr 2014 From: zagreb, croatia Posts: 234 Thanks: 33 Math Focus: philosophy/found of math, metamath, logic, set/category/order/number theory, algebra, topology	Euler characteristic Where can I find a complete and rigorous proof that it's well-defined? For manifolds. When you polygonalize them, show that no matter how you do it, you get the same integer. Also, where can I find a proof it's a topological invariant? Last edited by skipjack; August 1st, 2017 at 02:30 AM.
$raul21 is offline$

July 12th, 2017, 07:26 AM	#2
Micrm@ss Senior Member Joined: Oct 2009 Posts: 838 Thanks: 323	I think that "Introduction to topological manifolds" by Lee gives the proof you seek. The only thing it doesn't prove explicitly is that surfaces have a triangulation, but that is fairly technical to prove actually. Thanks from raul21 Last edited by skipjack; August 1st, 2017 at 02:30 AM.
$Micrm@ss is offline$

July 31st, 2017, 09:58 AM	#3
raul21 Senior Member Joined: Apr 2014 From: zagreb, croatia Posts: 234 Thanks: 33 Math Focus: philosophy/found of math, metamath, logic, set/category/order/number theory, algebra, topology	Thanks. Also, I wonder what happens in higher dimensions? How do you even define Euler characteristic for an arbitrary manifold? It has to be compact or what? You then polytopize it, or what? Or via simplicial/CW complexes? It's defined by Betti numbers and homology groups, but can it be shawn maybe it's the same thing? As for a manifold to even have a polytopization or whatever, a general proof that every compact surface has a rectangular decomposition is given in Lefschetz's Introduction To Topology.
$raul21 is offline$

July 31st, 2017, 10:30 AM	#4
Micrm@ss Senior Member Joined: Oct 2009 Posts: 838 Thanks: 323	The easiest way to define the Euler characteristic and to show it is an invariant is through homology theory. Lee does this in his book. Note that in higher dimensions, manifolds are not always triangularizable. Thanks from raul21
$Micrm@ss is offline$

July 31st, 2017, 03:35 PM	#6
Micrm@ss Senior Member Joined: Oct 2009 Posts: 838 Thanks: 323	Nono, a triangulation is more than triangles. It can involve tetrahedrons etc too. Formally it is finding a simplical complex that is homeomorphic to the space. You can do this for any 2-dimensional and 3-dimensional manifold, but not higher in general. Thanks from raul21
$Micrm@ss is offline$

August 1st, 2017, 02:26 AM	#8
Micrm@ss Senior Member Joined: Oct 2009 Posts: 838 Thanks: 323	It is very difficult to prove. But see https://en.wikipedia.org/wiki/E8_manifold Thanks from raul21
$Micrm@ss is offline$

Thread Tools
$Show Printable Version$ Show Printable Version $Email this Page$ Email this Page
Display Modes
$Linear Mode$ Linear Mode $Hybrid Mode$ Switch to Hybrid Mode $Threaded Mode$ Switch to Threaded Mode

Similar Threads
Thread	Thread Starter	Forum	Replies	Last Post
Euler Paths and Euler Circuits	MMath	Elementary Math	11	May 27th, 2016 12:01 AM
Euler method/ Euler formula	FalkirkMathFan	Calculus	1	November 5th, 2011 12:57 AM
Euler method/ Euler formula	FalkirkMathFan	Real Analysis	0	November 4th, 2011 04:08 AM
Euler Characteristic....	TTB3	Real Analysis	0	April 7th, 2009 08:51 AM
Euler Characteristic....	TTB3	Real Analysis	2	March 4th, 2009 01:39 AM