Difference between revisions of "Connectedness"
| Line 47: | Line 47: | ||
<li>So for all <span class="math-inline"><math>a \in M</math></span> and for all <span class="math-inline"><math>r > 0</math></span> the set <span class="math-inline"><math>\{ x \in M : d(x, a) = r \}</math></span> is nonempty. <span class="math-inline"><math>\blacksquare</math></span></li> | <li>So for all <span class="math-inline"><math>a \in M</math></span> and for all <span class="math-inline"><math>r > 0</math></span> the set <span class="math-inline"><math>\{ x \in M : d(x, a) = r \}</math></span> is nonempty. <span class="math-inline"><math>\blacksquare</math></span></li> | ||
</ul> | </ul> | ||
| + | |||
| + | ===Continuous Functions on Connected Sets of Metric Spaces=== | ||
| + | <p>A metric space <span class="math-inline"><math>(M, d)</math></span> is said to be disconnected if there exists nonempty open sets <span class="math-inline"><math>A</math></span> and <span class="math-inline"><math>B</math></span> such that <span class="math-inline"><math>A \cap B = \emptyset</math></span> and:</p> | ||
| + | <div style="text-align: center;"><math>\begin{align} \quad M = A \cup B \end{align}</math></div> | ||
| + | <p>If <span class="math-inline"><math>(M, d)</math></span> is not disconnected then we say <span class="math-inline"><math>(M, d)</math></span> is connected.</p> | ||
| + | <p>Furthermore, we said that a subset <span class="math-inline"><math>S \subseteq M</math></span> is connected (or disconnected) if the metric subspace <span class="math-inline"><math>(S, d)</math></span> is connected (or disconnected).</p> | ||
| + | <p>We will now look at a nice theorem which tells us that if <span class="math-inline"><math>f</math></span> is continuous on a connected set then the image <span class="math-inline"><math>f(S)</math></span> is also connected in the codomain.</p> | ||
| + | <blockquote style="background: white; border: 1px solid black; padding: 1em;"> | ||
| + | <td><strong>Theorem 1:</strong> Let <span class="math-inline"><math>(S, d_S)</math></span> and <span class="math-inline"><math>(T, d_T)</math></span> be metric spaces, <span class="math-inline"><math>C \subseteq S</math></span> and <span class="math-inline"><math>f : C \to T</math></span> be continuous. If <span class="math-inline"><math>C</math></span> is connected in <span class="math-inline"><math>S</math></span> then <span class="math-inline"><math>f(C)</math></span> is connected in <span class="math-inline"><math>T</math></span>.</td> | ||
| + | </blockquote> | ||
| + | <ul> | ||
| + | <li><strong>Proof:</strong> Let <span class="math-inline"><math>A</math></span> be a connected set and suppose that <span class="math-inline"><math>f(C)</math></span> is not connected, i.e., disconnected. We will show that a contradiction arises.</li> | ||
| + | </ul> | ||
| + | <ul> | ||
| + | <li>Suppose that <span class="math-inline"><math>(f(C), d_T)</math></span> is disconnected. Then there exists nonempty open sets <span class="math-inline"><math>A, B \subset f(C)</math></span> such that <span class="math-inline"><math>A \cap B = \emptyset</math></span> and:</li> | ||
| + | </ul> | ||
| + | <div style="text-align: center;"><math>\begin{align} \quad f(C) = A \cup B \end{align}</math></div> | ||
| + | <ul> | ||
| + | <li>Since <span class="math-inline"><math>f</math></span> is continuous we have that:</li> | ||
| + | </ul> | ||
| + | <div style="text-align: center;"><math>\begin{align} \quad C = f^{-1}(A) \cup f^{-1}(B) \end{align}</math></div> | ||
| + | <ul> | ||
| + | <li>Note that <span class="math-inline"><math>f^{-1}(A)</math></span> and <span class="math-inline"><math>f^{-1}(B)</math></span> are nonempty, otherwise, <span class="math-inline"><math>A</math></span> or <span class="math-inline"><math>B</math></span> would be empty which cannot happen. Furthermore, both of these sets are open from the continuity of <span class="math-inline"><math>f</math></span>. We claim that <span class="math-inline"><math>f^{-1} (A) \cap f^{-1}(B) = \emptyset</math></span>. Suppose not. Then there exists an <span class="math-inline"><math>x \in f^{-1}(A) \cap f^{-1}(B)</math></span> and so <span class="math-inline"><math>f(x) \in A \cap B</math></span> which implies that <span class="math-inline"><math>A \cap B \neq \emptyset</math></span> which is a contradiction.</li> | ||
| + | </ul> | ||
| + | <ul> | ||
| + | <li>Therefore <span class="math-inline"><math>f^{-1}(A) \cap f^{-1}(B) = \emptyset</math></span> and so <span class="math-inline"><math>C</math></span> is a disconnected set. But this is a contradiction.</li> | ||
| + | </ul> | ||
| + | <ul> | ||
| + | <li>Hence the assumption that <span class="math-inline"><math>f(C)</math></span> was disconnected is false. Therefore, if <span class="math-inline"><math>C</math></span> is a connected set in <span class="math-inline"><math>S</math></span> and <span class="math-inline"><math>f : C \to T</math></span> is continuous then <span class="math-inline"><math>f(C)</math></span> is connected in <span class="math-inline"><math>T</math></span></li> | ||
| + | </ul> | ||
| + | |||
== Licensing == | == Licensing == | ||
Revision as of 11:43, 8 November 2021
Contents
Connected and Disconnected Metric Spaces
Definition: A metric space is said to be Disconnected if there exists nonempty open sets and such that and . If is not disconnected then we say that Connected. Furthermore, if then is said to be disconnected/connected if the metric subspace is disconnected/connected.
Intuitively, a set is disconnected if it can be separated into two pieces while a set is connected if it’s an entire piece.
For example, consider the metric space where is the Euclidean metric on . Let , i.e., is an open interval in . We claim that is connected.
Suppose not. Then there exists nonempty open subsets and such that and . Furthermore, and must be open intervals themselves, say and . We must have that . So or and furthermore, or .
If then this implies that (since if then which implies that ). So if . If then and so so . If then and so . If then . Either way we see that .
We can use the same logic for the other cases which will completely show that is connected.
Basic Theorems Regarding Connected and Disconnected Metric Spaces
A metric space is said to be disconnected if there exists , Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A, B \neq \emptyset} where and:
We say that is connected if it is not disconnected.
Furthermore, we say that is connected/disconnected if the metric subspace is connected/disconnected.
We will now look at some important theorems regarding connected and disconnected metric spaces.
Theorem 1: A metric space is disconnected if and only if there exists a proper nonempty subset such that is both open and closed.
- Suppose that is disconnected. Then there exists open , , where and .
- Since is open in we have that is closed in . But is also open. Similarly, since is open in , is closed in . So in fact and are both nonempty proper subsets of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle M} that are both open and closed.
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Leftarrow} Suppose that there exists a proper nonempty subset Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \subset M} such that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} is both open and closed. Let Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B = A^c} . Then Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} is also both open and closed. Furthermore, since Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B \neq \emptyset} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \cap B = \emptyset} . Additionally, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle M = A \cup B} , so Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle M} is disconnected. Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \blacksquare}
Theorem 2: If Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (M, d)} is a connected unbounded metric space, then for every Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a \in M} and for all Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r > 0} , Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ x \in M : d(x, a) = r \}} is nonempty.
- Proof: Let Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (M, d)} be a connected unbounded metric space and suppose that there exists an Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a \in M} and there exists an Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r_0 > 0} such that:
- We will show that a contradiction arises. Let Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A = \{ x \in M : d(x, a) < r_0 \}} and let Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B = \{ x \in M : d(x, a) > r_0 \}} . Then Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} is open since it is simply an open ball centered at Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a} . Furthermore, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} is open since Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B^c} is a closed ball centered . is nonempty since Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a \in A} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} is nonempty since Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (M, d)} is unbounded (if it were empty then this would imply Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (M, d)} is bounded). Clearly Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \cap B = \emptyset} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle M = A \cup B} . So Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (M, d)} is a disconnected metric space. But this is a contradiction.
- Therefore the assumption that there exists an Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a \in M} and an Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r_0 > 0} such that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ x \in M : d(x, a) = r_0 \} \emptyset} was false.
- So for all Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a \in M} and for all Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r > 0} the set Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ x \in M : d(x, a) = r \}} is nonempty. Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \blacksquare}
Continuous Functions on Connected Sets of Metric Spaces
A metric space Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (M, d)} is said to be disconnected if there exists nonempty open sets Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} such that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \cap B = \emptyset} and:
If Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (M, d)} is not disconnected then we say Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (M, d)} is connected.
Furthermore, we said that a subset Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S \subseteq M} is connected (or disconnected) if the metric subspace Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (S, d)} is connected (or disconnected).
We will now look at a nice theorem which tells us that if Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} is continuous on a connected set then the image Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(S)} is also connected in the codomain.
Theorem 1: Let Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (S, d_S)} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (T, d_T)} be metric spaces, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C \subseteq S} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f : C \to T} be continuous. If Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C} is connected in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} then Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(C)} is connected in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T} .
- Proof: Let Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} be a connected set and suppose that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(C)} is not connected, i.e., disconnected. We will show that a contradiction arises.
- Suppose that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (f(C), d_T)} is disconnected. Then there exists nonempty open sets Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A, B \subset f(C)} such that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \cap B = \emptyset} and:
- Since Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} is continuous we have that:
- Note that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f^{-1}(A)} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f^{-1}(B)} are nonempty, otherwise, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} or Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} would be empty which cannot happen. Furthermore, both of these sets are open from the continuity of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} . We claim that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f^{-1} (A) \cap f^{-1}(B) = \emptyset} . Suppose not. Then there exists an and so Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x) \in A \cap B} which implies that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \cap B \neq \emptyset} which is a contradiction.
- Therefore Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f^{-1}(A) \cap f^{-1}(B) = \emptyset} and so Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C} is a disconnected set. But this is a contradiction.
- Hence the assumption that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(C)} was disconnected is false. Therefore, if Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C} is a connected set in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f : C \to T} is continuous then Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(C)} is connected in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T}
Licensing
Content obtained and/or adapted from:
- Connected And Disconnected Metric Spaces, mathonline.wikidot.com under a CC BY-SA license
- Basic Theorems Regarding Connected and Disconnected Metric Spaces, mathonline.wikidot.com under a CC BY-SA license