Re:An intutive counterexample to the axiom of choice
by quchen on Monday January 23, 2023 @11:10AM
(#34490622)
Thanks for pointing out that the f must be a function part is particularly difficult. Is this only a problem for infinite sets (of sets to pick from)? Is it trivial to construct a function that picks a single element from an arbitrary set that’s not ordered numbers (say, the real endomorphisms)?
[ Parent
| on HN ]
Re:An intutive counterexample to the axiom of choice
by lheck on Monday January 30, 2023 @10:56AM
(#34581380)
> Is this only a problem for infinite sets (of sets to pick from)?
I've edited this a lot, but it might still depend on the AoC if you can construct such a function in general, my ideas didn't work (e.g. two complex infinite sets per set are already hard)
> Is it trivial to construct a function that picks a single element from an arbitrary set that’s not ordered numbers (say, the real endomorphisms)?
With no constraints on the function this is the AoC.