Skip to main content
Post Reopened by Joel David Hamkins, Daniel Moskovich, Yemon Choi, Joonas Ilmavirta, Stefan Kohl
Post Closed as "Not suitable for this site" by Andrés E. Caicedo, Noah Schweber, András Bátkai, Tony Huynh, Sam Nead
corrected spelling
Link
bof
  • 13.4k
  • 2
  • 43
  • 66

Existence of Spanning Tree implies Well OrderringOrdering Principle

Source Link
user81529
user81529

Existence of Spanning Tree implies Well Orderring Principle

  1. Every connected graph has a spanning tree.
  2. Every non-empty set can be well ordered.

Basically I am trying to show that statement 1 implies statement 2. What I tried is as following: Let $X \ne \emptyset$, define a graph $G$ with $$V(G) := \{v_{S}:S \subseteq X\}$$ and $v_S v_T \in E(G)$ if and only if either $S \subseteq T$ and $|T| = |S| + 1$ or vice versa. By statement 1, there is a spanning tree so we choose the path (possibly infinite) that connects $v_{\emptyset}$ and $V_X$, and define a total order $\le$ on $X$ by the order each element $x \in X$ is added in the path that connects $v_{\emptyset}$ and $v_X$.

I talked to a professor about this, apparently connected means each pair of vertices is connected by a FINITE path, so my proof is technically wrong, but I think that's the general direction to proceed. Any hint on actually proving it?