I read the proof from https://proofwiki.org/wiki/Hall%27s_Marriage_Theorem/General_Set.

Here are screenshots from that link: enter image description here enter image description here

I suspect that the statement

Then for any $k\in I$, $\left\{ {g \left({x}\right): g \in \mathcal F \land k \in \operatorname{Dom} \left({g}\right)}\right\}$ is finite

is possibly not correct.

My reasoning: If $I$ is infinite, then for any $k$, it is possible that the number of function $g$ such that $g \in \mathcal F$ and $k \in \operatorname{Dom} \left({g}\right)$ is infinite by adding a new element from $I$ to the domain of existing function $g$.

Please check if my spot is correct! Thank you so much!

  • 1
    $\begingroup$ I tend to agree with you. $\endgroup$ Commented Jun 9, 2018 at 15:43
  • 3
    $\begingroup$ This is not a set of functions $g$; this is a set of values $g(x)$ which we get by evaluating a set of functions $g$ at some value $x$. Now, the proof doesn't tell us what $x$ is, so it doesn't make any sense, but it's possible that if $x$ were defined, the statement would be true. $\endgroup$ Commented Jun 10, 2018 at 18:27
  • $\begingroup$ Yes, that part is too ambiguous. $\endgroup$
    – Akira
    Commented Jun 11, 2018 at 0:06
  • 1
    $\begingroup$ If you're claiming the statement is incorrect, you should provide a counterexample. $\endgroup$ Commented Aug 17, 2018 at 19:05


You must log in to answer this question.