I Is this statement an aspect of the Hairy Ball or Fixed Point Theorem?

AI Thread Summary
The discussion centers on a statement regarding mutually exclusive classes and its relation to the Hairy Ball and Fixed Point Theorems. It draws parallels between the concept of a hair whorl having a non-whirling point and the intersection of crumpled bingo sheets, suggesting a common underlying principle. The statement is interpreted as an alternate expression of the axiom of choice, emphasizing the selection of unique elements from disjoint sets. Additionally, it highlights how this statement reinforces the axiom of choice by demonstrating that a selected set intersects with each original set. Overall, the discussion connects abstract mathematical concepts with tangible examples to illustrate their implications.
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 fresh_42 and S.G. Janssens
Back
Top