4
$\begingroup$

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!

$\endgroup$
  • 1
    $\begingroup$ I tend to agree with you. $\endgroup$ – Arnaud Mortier Jun 9 '18 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$ – Misha Lavrov Jun 10 '18 at 18:27
  • $\begingroup$ Yes, that part is too ambiguous. $\endgroup$ – Le Anh Dung Jun 11 '18 at 0:06
  • 1
    $\begingroup$ If you're claiming the statement is incorrect, you should provide a counterexample. $\endgroup$ – Matthew Leingang Aug 17 '18 at 19:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.