As I read through Willard's General Topology, the problem 12 D-5 states that "the net based on a free ultrafilter is a nontrivial ultranet. Hence, assuming the axiom of choice, there are nontrivial ultranets." First of all, I don't quite understand the meaning of a nontrivial ultranet, since the book itself does not give a precise definition. Second of all, if "the net based on a free ultrafilter is a nontrivial ultranet" is already given, why do we still need axiom of choice to prove the existence of nontrivial ultranet?(adsbygoogle = window.adsbygoogle || []).push({});

Help needed!

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# What is a nontrivial ultranet?

Loading...

Similar Threads - nontrivial ultranet | Date |
---|---|

Nontriviality of the Möbius bundle without orientability | Sep 24, 2008 |

**Physics Forums - The Fusion of Science and Community**