If F is Continuous From X to Y and Y is Hausdorff Then X is Hausdorff

2. Let $f, g : X \rightarrow Y$ be continuous; assume $Y$ is Hausdorff. Show that $\{x \mid f(x) = g(x)\}$ is closed in $X$

Let $f, g : X \rightarrow Y$ be continuous; assume $Y$ is Hausdorff. Show that $\{x \mid f(x) = g(x)\}$ is closed in $X$

Your proof is correct. Here is a possibly simpler proof exploiting the fact that the diagonal of Hausdorff spaces are closed:

Let $F(x)=(f(x),g(x))$. Clearly, $F$ is continuous. Then $\{x:f(x)=g(x)\}=F^{-1}(A)$ where $A$ is the diagonal of $Y$. Since $F$ is continuous, $\{x:f(x)=g(x)\}$ is closed in $X$, being the preimage of a closed set.

Related videos on Youtube

06 : 15

Calculus 3: Line Integrals (42 of 44) Find f=? Such That Gradient f=F

14 : 13

10 : 29

Every Compact subspace of Hausdorff space is closed.

11 : 33

12 : 30

Comments

• It would be very appreciated if someone could review my proof written below. Thanks!

  Problem:

  Let $f, g : X \to Y$ be continuous; assume $Y$ is Hausdorff. Show that $\{x \mid f(x) = g(x)\}$ is closed in $X$.

  Proof:

  Let $f, g: X \rightarrow Y$ be continuous where $Y$ is Hausdorff.

  Let $C = \{x \mid f(x) = g(x)\}$

  Suppose $C$ is not closed. Then let $x_1 \notin C$ where $x_1$ is a limit point of $C$. Then $f(x_1) \neq g(x_1)$ in $Y$. Then since $Y$ is Hausdorff we can find disjoint open sets $U$ and $V$ containing $f(x_1)$ and $g(x_1)$ respectively. Then $f^{-1}[U]$ and $g^{-1}[V]$ are open sets in $X$ since $f$ and $g$ are continuous and both sets contain the point $x_1$.

  Then consider the set $A = f^{-1}[U] \cap g^{-1}[V]$. This set is open and must also contain the point $x_1$. Since $x_1$ is a limit point of $C$ the set $A$ must contain some point $z \in C$. Then $f(z) = g(z)$ and since $z \in A$ we have $f(z) \in U$ and $g(z) \in V$. But since $f(z) = g(z)$ we have $U \cap V \neq \emptyset$ as both sets contain $f(z)$. Hence we have obtained a contradiction since $U$ and $V$ were chosen to be disjoint and thus $x_1$ must be a point in $C$ (or equivalently $x_1$ is not a limit point and is not a member of C )

  So $C$ must contain all its limit points and thus $C$ is closed.

  • $f(x)=g(x)\Longleftrightarrow f(x)-g(x)=0$.

  • no that wouldnt be correct here as Y is a general topological space and the operation of subtraction is not even defined. @DonThousand

  • This proof looks good to me.

  • Start by taking $x_1$ to be an adherence point (or limit point as you call it) of $C$, as you do. The contradiction follows from the assumption $x_1 \notin C$. So after the contradiction you know $x_1 \in C$, not that $x_1$ is not a limit point. Then use the last sentence right away and you're done.

  • Thanks again @HennoBrandsma, you are correct. I added a parenthetical which i believe could also be a valid conclusion? Let me know if you agree. thanks

  • I think the parenthetical just confuses things. The structure of the proof is: We want to show $\overline{C} \subseteq C$ (which is equivalent to $C$ being closed) so let $x \in \overline{C}$. Assume $x \notin C$... contradiction, so $x \in C$ and the inclusion has been shown. QED. $x \in \overline{C}$ is the "outer assumption" as it were, to start the inclusion proof, so that stays valid after the contradiction, which only invalidates the last assumption you made, i.e. $x \notin C$.

  • The parenthetical is probably more confusing but both should follow from the contradiction — at this point im more just curious.... Since either C is closed or it is not closed, we then obtain a contradiction in the case C is not closed. Hence C must be closed. So the statement in the proof where we USE the fact that C is not closed must be invalid. This statement is our initial assumption and is " x1 is not in C where x1 is a limit point of C. " there are 3 ways to invalidate the statement: 1.) x1 is really in C or 2.) x1 is not a limit point or 3.) both 1 and 2. @HennoBrandsma thanks

Recents

What is the matrix and directed graph corresponding to the relation $\{(1, 1), (2, 2), (3, 3), (4, 4), (4, 3), (4, 1), (3, 2), (3, 1)\}$?

quezadashaltarea.blogspot.com

Source: https://9to5science.com/let-f-g-x-rightarrow-y-be-continuous-assume-y-is-hausdorff-show-that-x-mid-f-x-g-x-is-closed-in-x

Share this post