Is this statement related to the Hairy Ball theorem or Fixed Point theorem?

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 1K views
swampwiz
Messages
567
Reaction score
83
“Given any class of mutually exclusive classes, of which none is null, there is at least one class which has exactly one term in common with each of the given classes…”

The reason this statement sounds like one of those theora is that I recall reading a Time-Life book on Mathematics, and there was a discussion about the fact that a hair whorl always has at least 1 point where the hair doesn't whorl, and as well that if a sheet of bingo paper is crumpled up and placed on an identical un-crumpled up sheet, there will be at least 1 bingo number for which that of the crumpled one will be on top of that of the un-crimpled one, and it seemed that this was the same idea as the hair whorl.
 
Physics news on Phys.org
This looks like an alternate statement of the axiom of choice: if the family of disjoint sets is ##\{E_{\alpha}\}_{\alpha\in A}## and for each ##\alpha\in A,## we select an element ##a_{\alpha}\in E_{\alpha}## [using axiom of choice here] then the set ##\bigcup_{\alpha\in A}\{a_{\alpha}\}## has exactly one element in common with each ##E_{\alpha}.##

It also implies the (usual statement of the) axiom of choice, because given the family ##\{E_{\alpha}\}_{\alpha\in A}## and such a set ##E##, then ##E\cap E_{\alpha}## selects one element from each set.
 
  • Like
Likes   Reactions: fresh_42 and S.G. Janssens