Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: Problem with understanding proofs of Sperner's lemma in higher dimensions
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  
Paul

Posts: 398
Registered: 7/12/10
Problem with understanding proofs of Sperner's lemma in higher dimensions
Posted: Jan 13, 2013 5:06 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Firstly, I'll say that I mean Sperner's lemma on triangulation -- the one that's used to prove Brouwer's theorem.

There are an enormous number of proofs of this on the net and I have the same concerns about all of them for higher dimensions.

The proofs don't develop any simplicial theory beyond defining an n-simplex as the complex hull of n + 1 points in general position.

The proofs and result then become clear for dimensions which can be visualised (such as 1 to 3).

However, for higher dimensions I'm unconvinced because various weird things could arguably happen (but don't happen) that would interfere with the proof.

For example, perhaps you could have 3 n-simplices interesecting in a face which is an n-1 simplex. Of course, this type of thing can't happen. But the way in which I see that this "can't happen" is by picturing the situation in 2 or 3 dimensions and then extending the picture to higher dimensions. This isn't rigorous.

Does anyone know of an account which respects such details? Or, can someone recommend some notes on simplicial theory that would allay such concerns?

Thank You,

Paul Epstein



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.