Topology: Connectedness

1. Formula
   Observation

   The board writes `Def : X is disconnected if it is the union of two disjoint open sets which are contained in X.` and later `$X = U \cup V$`.

2. Audio
   Observation

   The lecturer says, "we can define a space X to be disconnected if it is a union of two disjoint open sets contained in X."

X

A topological space under discussion in the definition of disconnectedness and connectedness.

A topological space; in the example it is treated as a subspace of $\mathbb{R}^2$.

1. Formula
   Observation

   The board lists `$U \cap V = \emptyset$`, `$U \cap X \neq \emptyset$`, and `$X = U \cup V$`.

2. Audio
   Observation

   The lecturer says, "this is essentially X equals U and V, U and V are some open sets".

U

One of the two open sets whose union is required to equal the whole space in the definition of disconnectedness.

1. Formula
   Observation

   The board lists `$U \cap V = \emptyset$`, `$V \cap X \neq \emptyset$`, and `$X = U \cup V$`.

2. Audio
   Observation

   The lecturer says, "there's at least some points of X in U and there are some points of X in V".

V

The second open set in the decomposition of a disconnected space.

1. Formula
   Observation

   The board uses `$\emptyset$` in `$U \cap V = \emptyset$`, `$U \cap X \neq \emptyset$`, and `$V \cap X \neq \emptyset$`.

$\emptyset$

The empty set, used to express disjointness and nonemptiness relative to $X$.

1. Formula
   Observation

   The board writes `Thm: If we have a continuous surjective map f: X -> Y and X is connected, then Y is connected.`

2. Audio
   Observation

   At the end of the clip the lecturer begins, "So we can show if we have a continuous surjective map f going from".

f

A continuous surjective map from $X$ to $Y$ in the theorem statement.

1. Formula
   Observation

   The board writes `f: X -> Y` and `then Y is connected`.

Y

The codomain space of the continuous surjective map $f$; the theorem concludes that $Y$ is connected.

1. Audio
   Observation

   The lecturer says, "if we think of these two sphere-like circle-like shapes in R2" and "as a subset of R2".

$\mathbb{R}^2$

The ambient Euclidean plane in which the drawn example subsets live.

1. Formula
   Observation

   The board writes the theorem with X in f: X -> Y and in the phrase that X is connected.

2. Audio
   Observation

   The speaker says "from space X to space Y" and "X is connected".

X

Topological space serving as the domain of the continuous surjective map f.

A topological space; in the first theorem it is assumed connected.

1. Formula
   Observation

   The board writes Y in f: X -> Y and in the conclusion Y is connected.

2. Audio
   Observation

   The speaker says "space Y" and "Y must be connected".

Y

Topological space serving as the codomain of the continuous surjective map f.

A topological space; in the first theorem it is the image space whose connectedness is proved.

1. Formula
   Observation

   The board writes a continuous surjective map f: X -> Y.

2. Audio
   Observation

   The speaker describes a map from space X to space Y and later uses f inverse.

f

Continuous surjective map from X to Y.

f: X -> Y, with continuity and surjectivity stated in the theorem hypothesis.

1. Formula
   Observation

   The proof line on the board says "Say Y is disconnected, so U union $V = Y$".

2. Audio
   Observation

   The speaker says there are open sets U and V whose union gives Y, whose intersection is null, and each contains some y.

U, V

Open sets forming a disconnection of Y in the contrapositive proof of the first theorem.

Open subsets of Y with U union $V = Y$, U cap V = empty set, U nonempty, and V nonempty.

1. Formula
   Observation

   The board writes $f^{-1}(U)$ union $f^{-1}(V) = X$.

2. Audio
   Observation

   The speaker says taking the inverse of both sides gives f inverse U union V equals f inverse Y, which is all of X, then distributes f inverse.

$f^{-1}$

Preimage operator for the map f, applied to subsets of Y.

Acts on subsets of Y and returns subsets of X; the speaker states inverse images distribute over unions.

1. Formula
   Observation

   Board text: `Def : X is disconnected if it is the union of two disjoint open sets which are contained in X. If X is not disconnected it is connected.`

2. Formula
   Observation

   Board conditions: `$X = U \cup V$`, `$U \cap V = \emptyset$`, `$U \cap X \neq \emptyset$`, `$V \cap X \neq \emptyset$`.

3. Audio
   Observation

   The lecturer reads and paraphrases the definition aloud.

The video defines disconnectedness first: a space $X$ is disconnected when it can be written as the union of two disjoint open sets contained in $X$, with each part meeting $X$ nontrivially. Connectedness is then defined negatively as “not disconnected.”

1. $X$ is a topological space.

2. $U$ and $V$ are open sets contained in $X$.

3. The decomposition must cover all of $X$.

4. Both pieces must be nonempty relative to $X$.

1. Diagram
   Observation

   Two separate blob-like closed curves are drawn on the right side of the board.

2. Audio
   Observation

   The lecturer says the two shapes in $\mathbb{R}^2$, viewed as a subspace, are disconnected, while one shape alone would be connected.

The lecturer uses two separated planar regions as a concrete example. Their union, as a subspace of $\mathbb{R}^2$, is disconnected because each region supplies an open piece in the subspace topology. A single region is presented as connected because no such separation into two disjoint nonempty open pieces is available.

1. The example is taken inside $\mathbb{R}^2$.

2. Openness is understood relative to the subspace topology on the chosen subset.

1. Definition of disconnected and connected spaces

1. Formula
   Observation

   Board text: `Thm: If we have a continuous surjective map f: X -> Y and X is connected, then Y is connected.`

2. Audio
   Observation

   The lecturer begins introducing this theorem at the end of the clip.

The board states a theorem that connectedness is preserved by continuous surjections: if $X$ is connected and $f:X\to Y$ is continuous and onto, then $Y$ is connected.

1. $f$ is continuous.

2. $f$ is surjective.

3. $X$ is connected.

1. Definition of disconnected and connected spaces

1. Formula
   Observation

   The board heading reads "Topology" and "Connectedness".

2. Audio
   Observation

   The lecture discusses connected and disconnected spaces throughout the clip.

The clip treats connectedness as a property of topological spaces and uses its negation, disconnectedness, to prove two statements. A space is handled as disconnected when it can be split into two nonempty open pieces with empty intersection and union equal to the whole space.

1. The discussion is within general topology.

2. Disconnectedness is used through open-set decompositions.

1. Formula
   Observation

   The first theorem states "a continuous surjective map f: X -> Y".

2. Audio
   Observation

   The speaker states the theorem for a map from space X to space Y and uses f inverse in the proof.

The first theorem concerns a map f from X to Y that is both continuous and surjective. Continuity is used to make inverse images of open sets open, while surjectivity is used when the speaker identifies $f^{-1}(Y)$ with all of X.

1. f: X -> Y.

2. f is continuous.

3. f is surjective.

1. Connectedness in topology

1. Formula
   Observation

   The board transforms $f^{-1}$(U union V) into $f^{-1}(U)$ union $f^{-1}(V)$.

2. Audio
   Observation

   The speaker says they can distribute the f inverse because inverses work nicely.

The proof uses the set-theoretic identity that the preimage of a union is the union of the preimages. In this clip it is applied to U union $V = Y$ so that $f^{-1}$(U union V) becomes $f^{-1}(U)$ union $f^{-1}(V)$.

1. f is a map between sets or spaces.

2. U and V are subsets of the codomain.

1. Continuous surjective map in the first theorem

1. Formula
   Observation

   Both proofs use U union $V = Y$ or U union $V = X$ union Y with U cap V empty and nonempty pieces.

2. Audio
   Observation

   The speaker repeatedly describes open sets U and V whose intersection is null and which contain points of the relevant space.

In both proofs, a disconnected space is represented by two open sets U and V. The stated conditions are that their union is the whole space, their intersection is empty, and each contains at least one point of that space.

1. The space under consideration is assumed disconnected.

2. U and V are open sets.

3. U union V equals the whole space.

4. U cap V is empty.

5. U and V are nonempty.

1. Connectedness in topology

1. Formula
   Observation

   The blackboard shows 'connected' and 'disconnected' in the context of the theorem and proof.

A topological space is connected if it cannot be represented as the union of two disjoint, non-empty open subsets. If such a representation exists, the space is disconnected.

1. Applies to topological spaces.

1. Audio
   Observation

   The speaker mentions 'open sets in the subspace of Y'.

Given a topological space and a subset, the subspace topology defines open sets in the subset as the intersection of the subset with open sets in the larger space.

1. Requires a parent topological space and a subset.

1. Formula
   Observation

   The board explicitly writes the definition of disconnectedness and then connectedness as its negation.

2. Audio
   Observation

   The lecturer verbally states the same definition.

A space $X$ is disconnected exactly when it is the union of two disjoint open sets contained in $X$, each meeting $X$ nontrivially; otherwise $X$ is connected.

1. $X$ is a topological space.

There exist open sets $U$ and $V$ such that the stated decomposition holds.

1. Diagram
   Observation

   Two separated blob-like subsets are drawn.

2. Audio
   Observation

   The lecturer says, "this as a subspace of R2 is disconnected" and explains the open sets are the two disks.

The union of the two separated blob-like subsets, regarded as a subspace of $\mathbb{R}^2$, is disconnected.

1. The ambient space is $\mathbb{R}^2$.

2. The subset consists of two separated blob-like pieces.

For the displayed subspace, there exists a separation into the two pieces.

1. Audio
   Observation

   The lecturer says, "But if we take one ... as a subset of R2, then it would be connected. We could not find two disjoint open sets that whose union is the whole circle-like shape."

1. The lecturer does not prove this assertion within the clip; it is stated directly.

A single one of the drawn blob-like subsets, regarded as a subspace of $\mathbb{R}^2$, is connected.

1. The ambient space is $\mathbb{R}^2$.

2. The subset is one connected-looking blob-like region.

No separation into two disjoint nonempty relatively open subsets exists.

1. Formula
   Observation

   The board writes the theorem statement in full.

2. Audio
   Observation

   The lecturer begins introducing the theorem verbally at the end of the clip.

If $f:X\to Y$ is a continuous surjective map and $X$ is connected, then $Y$ is connected.

1. $f$ is continuous.

2. $f$ is surjective.

3. $X$ is connected.

For all such maps $f$ and spaces $X,Y$ satisfying the hypotheses.

1. Formula
   Observation

   The board writes: "Thm: If we have a continuous surjective map f: X -> Y and X is connected, then Y is connected."

2. Audio
   Observation

   The speaker states that if there is a map from space X to space Y and X is connected, then Y must be connected.

If f: X -> Y is a continuous surjective map and X is connected, then Y is connected.

1. f: X -> Y is a map between topological spaces.

2. f is continuous.

3. f is surjective.

4. X is connected.

For topological spaces X and Y and a map f: X -> Y satisfying the stated hypotheses.

1. Formula
   Observation

   The board writes: "Thm: If X and Y are connected and X cap Y != empty set, then X union Y is connected."

2. Audio
   Observation

   The speaker states that if X and Y are connected spaces and their intersection is not empty, then the union of X and Y must also be connected.

If X and Y are connected and X cap Y is not empty, then X union Y is connected.

1. X is connected.

2. Y is connected.

3. X cap Y != empty set.

For topological spaces X and Y satisfying the stated hypotheses.

1. Formula
   Observation

   The blackboard states: 'Thm: If X and Y are connected and $X \cap Y \neq \emptyset$, then $X \cup Y$ is connected.'

If X and Y are connected topological spaces and their intersection is non-empty, then their union $X \cup Y$ is also connected.

1. X is a connected topological space.

2. Y is a connected topological space.

3. The intersection of X and Y is not empty ($X \cap Y \neq \emptyset$).

For all topological spaces X and Y.

1. Audio
   Observation

   The lecturer explains that for the two-blob subspace, one may take the open sets to be all of one disk and all of the other disk.

2. Diagram
   Observation

   The two separated regions visually supply the two pieces of the separation.

1. Expression

   $$$$
   Explanation

   Start with the subspace consisting of the two separated blob-like regions in $\mathbb{R}^2$.

   Justification

   This is the example introduced verbally and visually on the board.

   Shown in the video
2. Expression

   $$$$
   Explanation

   Take one region as one candidate open piece and the other region as the second candidate open piece.

   Justification

   The lecturer says, "we can take the open sets to be all of one disk and then all of the other disk."

   Shown in the video
3. Expression

   $$$$
   Explanation

   These two pieces are relatively open in the subspace, disjoint from each other, and their union is the whole subspace.

   Justification

   This follows from the lecturer’s explanation that they are open subsets of the subspace, have null intersection with each other, and their union is the whole subspace.

   Shown in the video
4. Expression

   $$$$
   Explanation

   Therefore the two-blob subspace satisfies the definition of disconnectedness.

   Justification

   It matches the earlier definition requiring a union of two disjoint nonempty open sets contained in the space.

   Derived from the video

The union of the two separated blobs is disconnected as a subspace of $\mathbb{R}^2$.

1. Formula
   Observation

   The board proof says "Say Y is disconnected, so U union $V = Y$" and then "$f^{-1}(U)$ union $f^{-1}(V) = X$ so X is disconnected".

2. Audio
   Observation

   The speaker says they will prove the contrapositive, assume Y is disconnected, take inverse images, distribute f inverse, and conclude X is disconnected, hence Y must be connected if X is connected.

1. The board does not explicitly write U cap V = empty set or the nonemptiness of $f^{-1}(U)$ and $f^{-1}(V)$, although the speaker states the disconnection conditions aloud.

1. Expression

   $$\text{Assume } Y \text{ is disconnected.}$$
   Explanation

   The proof begins by assuming the negation of the desired conclusion for Y.

   Justification

   Contrapositive strategy stated by the speaker.

   Shown in the video
2. Expression

   $$U \cup V = Y,\quad U \cap V = \varnothing,\quad U \neq \varnothing,\quad V \neq \varnothing$$
   Explanation

   A disconnection of Y is represented by two open sets U and V whose union is Y, whose intersection is empty, and each of which contains some point of Y.

   Justification

   Definition of disconnectedness as spoken in the clip.

   Shown in the video
3. Expression

   $$f^{-1}(U \cup V)=f^{-1}(Y)$$
   Explanation

   Taking inverse images under f of both sides of U union $V = Y$ gives the preimage of Y.

   Justification

   Applying $f^{-1}$ to an equality of subsets of Y.

   Shown in the video
4. Expression

   $$f^{-1}(Y)=X$$
   Explanation

   Because f is surjective from X onto Y, the preimage of all of Y is all of X.

   Justification

   Surjectivity of f: X -> Y.

   Shown in the video
5. Expression

   $$f^{-1}(U \cup V)=f^{-1}(U)\cup f^{-1}(V)$$
   Explanation

   The preimage of the union is rewritten as the union of the preimages.

   Justification

   Preimages distribute over unions.

   Shown in the video
6. Expression

   $$f^{-1}(U)\cup f^{-1}(V)=X$$
   Explanation

   Combining the previous identities yields that the two preimage sets cover X.

   Justification

   Substitution from $f^{-1}$(U cup V)=$f^{-1}(Y)=X$.

   Shown in the video
7. Expression

   $$\text{Therefore } X \text{ is disconnected.}$$
   Explanation

   The speaker concludes that these preimage sets satisfy the properties needed for X to be disconnected.

   Justification

   Continuity makes inverse images of open sets open; the disconnection conditions are inherited in the argument as presented.

   Shown in the video
8. Expression

   $$\text{Therefore, if } X \text{ is connected, } Y \text{ cannot be disconnected, so } Y \text{ is connected.}$$
   Explanation

   The contrapositive result is converted back into the original theorem statement.

   Justification

   Logical equivalence of a statement and its contrapositive.

   Shown in the video

If f: X -> Y is continuous and surjective and X is connected, then Y is connected.

1. Formula
   Observation

   The board writes "Proof: Suppose X union Y is disconnected, so U union $V = X$ union Y. If U contains all of X, then U cap Y and V cap Y make Y disconnected, otherwise U cap X and V cap X make X disconnected, a contradiction".

2. Audio
   Observation

   The speaker says the proof is by contradiction, assumes X union Y is disconnected, introduces open sets U and V, and begins the case where U contains all of X before the clip ends.

1. The final case analysis is written on the board but not fully spoken before the clip ends.

2. The board wording "make Y disconnected" and "make X disconnected" omits explicit verification that the intersections are open in the subspace, nonempty, disjoint, and cover the relevant space.

1. Expression

   $$\text{Assume } X \cup Y \text{ is disconnected.}$$
   Explanation

   The proof starts by supposing the conclusion is false.

   Justification

   Proof by contradiction stated by the speaker and written on the board.

   Shown in the video
2. Expression

   $$U \cup V = X \cup Y,\quad U \cap V = \varnothing,\quad U \neq \varnothing,\quad V \neq \varnothing$$
   Explanation

   A disconnection of X union Y is represented by open sets U and V covering X union Y with empty intersection and nonempty parts.

   Justification

   Definition of disconnectedness as used in the clip.

   Shown in the video
3. Expression

   $$\text{Case 1: } X \subseteq U$$
   Explanation

   The first case assumes that U contains all of X.

   Justification

   Case split written on the board and introduced in the audio.

   Shown in the video
4. Expression

   $$U \cap Y \neq \varnothing$$
   Explanation

   Since X cap Y is nonempty and all of X lies in U, some point of the intersection lies in U and also in Y.

   Justification

   Use of the hypothesis X cap Y != empty set together with X subset U.

   Derived from the video
5. Expression

   $$\text{Then } U \cap Y \text{ and } V \cap Y \text{ disconnect } Y.$$
   Explanation

   The board asserts that in this case the intersections with Y form a disconnection of Y.

   Justification

   Claim written on the board; the detailed verification is not fully spoken in the clip.

   Shown in the video
6. Expression

   $$\text{Case 2: } X \not\subseteq U$$
   Explanation

   The alternative case is that U does not contain all of X.

   Justification

   Board text begins with "otherwise" after the first case.

   Shown in the video
7. Expression

   $$\text{Then } U \cap X \text{ and } V \cap X \text{ disconnect } X.$$
   Explanation

   The board asserts that in the otherwise case the intersections with X form a disconnection of X.

   Justification

   Claim written on the board; the detailed verification is not fully spoken in the clip.

   Shown in the video
8. Expression

   $$\text{Contradiction.}$$
   Explanation

   Either case contradicts the assumption that X and Y are connected.

   Justification

   Conclusion written on the board as "a contradiction".

   Shown in the video

The intended conclusion is that X union Y must be connected whenever X and Y are connected and X cap Y is nonempty; the clip presents the setup and board-level case conclusion but does not fully narrate the last verification.

1. Formula
   Observation

   The blackboard outlines the proof steps: 'Proof: Suppose $X \cup Y$ is disconnected so $U \cup V = X \cup Y$...'

2. Audio
   Observation

   The speaker explains the cases where U contains all of X or does not, leading to contradictions.

1. Expression

   $$U \cup V = X \cup Y$$
   Explanation

   Assume for contradiction that the union $X \cup Y$ is disconnected. This means there exist two disjoint, non-empty open sets U and V in the subspace topology of $X \cup Y$ whose union is $X \cup Y$.

   Justification

   Definition of a disconnected space.

   Shown in the video
2. Expression

   $$U \cap X \neq \emptyset \text{ and } V \cap X \neq \emptyset$$
   Explanation

   Consider the case where U does not contain all of X. Since X is connected, it cannot be split into two non-empty disjoint open sets. If U contained some but not all of X, then V must contain the rest of X. This would make $U \cap X$ and $V \cap X$ non-empty, disjoint, open sets in the subspace topology of X, whose union is X.

   Justification

   Properties of subspace topology and the assumption that X is connected.

   Shown in the video
3. Expression

   $$\text{Contradiction}$$
   Explanation

   The existence of such $U \cap X$ and $V \cap X$ implies that X is disconnected, which contradicts the initial hypothesis that X is connected.

   Justification

   Hypothesis of the theorem.

   Shown in the video
4. Expression

   $$U \supseteq X \text{ or } V \supseteq X$$
   Explanation

   Therefore, one of the sets, say U, must contain all of X.

   Justification

   By contradiction from the previous step.

   Shown in the video
5. Expression

   $$U \cap Y \neq \emptyset \text{ and } V \cap Y \neq \emptyset$$
   Explanation

   Since $X \cap Y \neq \emptyset$ and U contains all of X, U must intersect Y. If V also intersects Y (which it must, since V is non-empty and its union with U is $X \cup Y$), then $U \cap Y$ and $V \cap Y$ would form a disconnection of Y.

   Justification

   Properties of subspace topology and the assumption that Y is connected.

   Shown in the video
6. Expression

   $$\text{Contradiction}$$
   Explanation

   This implies that Y is disconnected, contradicting the hypothesis that Y is connected.

   Justification

   Hypothesis of the theorem.

   Shown in the video
7. Expression

   $$X \cup Y \text{ is connected}$$
   Explanation

   Since assuming $X \cup Y$ is disconnected leads to a contradiction in all cases, the union $X \cup Y$ must be connected.

   Justification

   Principle of proof by contradiction.

   Shown in the video

The assumption that $X \cup Y$ is disconnected leads to a contradiction, proving that $X \cup Y$ is connected.

1. Diagram
   Observation

   Two separate blob-like closed curves are drawn on the right side of the board.

2. Audio
   Observation

   The lecturer compares the union of both shapes with taking just one shape.

Determine whether the displayed planar subsets are connected or disconnected when viewed as subspaces of $\mathbb{R}^2$.

1. Two separated blob-like subsets are drawn in the plane.

2. The discussion treats them as subspaces of $\mathbb{R}^2$.

Classify the union of the two blobs and a single blob using the definition of connectedness.

1. Expression

   $$$$
   Explanation

   Consider the union of the two separated blobs as the space $X$.

   Justification

   This is the example the lecturer introduces immediately after the definition.

   Shown in the video
2. Expression

   $$$$
   Explanation

   Choose the two individual blobs as the candidate separating open sets.

   Justification

   The lecturer says one can take “all of one disk” and “all of the other disk.”

   Shown in the video
3. Expression

   $$$$
   Explanation

   Check the defining conditions: the two chosen sets are open in the subspace, disjoint, nonempty relative to $X$, and their union is $X$.

   Justification

   These are exactly the conditions listed on the board for disconnectedness.

   Derived from the video
4. Expression

   $$$$
   Explanation

   Conclude that the union of the two blobs is disconnected.

   Justification

   It satisfies the definition of a separation.

   Derived from the video
5. Expression

   $$$$
   Explanation

   Now consider only one blob as the subspace.

   Justification

   The lecturer contrasts the two-blob case with the one-blob case.

   Shown in the video
6. Expression

   $$$$
   Explanation

   State that one cannot find two disjoint open sets whose union is the whole single blob-like shape.

   Justification

   This is the lecturer’s verbal justification for calling it connected.

   Shown in the video

The union of the two separated blobs is disconnected; a single blob is connected.

The classification is checked against the board’s definition: the two-blob case admits an explicit separation, while the one-blob case is asserted not to admit one.

1. Animation
   Observation

   The lecturer writes the heading `Topology / Connectedness`, then the definition, then the symbolic conditions beneath it.

1. Title `Topology`

2. Subtitle `Connectedness`

3. Definition sentence

4. Conditions `$X = U \cup V$`, `$U \cap V = \emptyset$`, `$U \cap X \neq \emptyset$`, `$V \cap X \neq \emptyset$`

1. The board progresses from title to prose definition to symbolic conditions.

1. The topic remains connectedness throughout this interval.

The visual sequence builds the definition from words to formal conditions.

1. Diagram
   Observation

   Two separate blob-like closed curves appear on the right side of the board.

2. Animation
   Observation

   The lecturer points between the two drawn regions while explaining the example.

1. Two separated blob-like regions in the plane

2. Lecturer’s pointing hand

1. The example shifts attention from abstract symbols to a geometric picture.

2. The lecturer alternates between indicating both regions together and one region alone.

1. The two regions remain spatially separated on the board.

The drawing supplies a concrete subspace of $\mathbb{R}^2$ whose separation is visually obvious.

1. Animation
   Observation

   After erasing the previous content, the lecturer writes a new theorem statement beginning with `Thm:`.

1. New board text `Thm: If we have a continuous surjective map f: X -> Y and X is connected, then Y is connected.`

1. The board transitions from definition/example material to a theorem statement.

1. The lecture remains within topology and connectedness.

The visual change marks a shift from defining connectedness to stating a preservation property under continuous surjections.

1. Diagram
   Observation

   A blackboard fills the background with the heading "Topology" and "Connectedness" and the first theorem plus proof already written.

2. Animation
   Observation

   The lecturer stands beside the board, gestures toward the lines, and points near the formula $f^{-1}(U)$ union $f^{-1}(V) = X$.

1. Blackboard heading "Topology" and "Connectedness"

2. Theorem statement about a continuous surjective map f: X -> Y

3. Proof line beginning "Say Y is disconnected"

4. Formula $f^{-1}(U)$ union $f^{-1}(V) = X$

5. Lecturer holding papers and gesturing

1. The lecturer shifts from facing the camera to pointing at the proof lines.

2. Attention is directed to the inverse-image equation during the explanation.

1. The first theorem text remains on the board throughout this interval.

2. No new writing occurs before the board is erased.

The visual layout presents the theorem and its contrapositive proof as a single worked argument, with the inverse-image line serving as the key displayed step.

1. Animation
   Observation

   The lecturer turns to the board, erases the first theorem and proof, and writes a new theorem and proof beneath the heading.

2. Diagram
   Observation

   By the end of the writing sequence the board shows the second theorem and a multi-line proof ending with "a contradiction".

1. Exact stroke-by-stroke timing of each written symbol is not fully recoverable from the sampled frames.

1. Eraser

2. Chalk

3. New theorem statement about X and Y being connected

4. Proof lines involving U union $V = X$ union Y and intersections with X and Y

1. The first theorem and proof disappear from the board.

2. The heading "Topology" and "Connectedness" remains.

3. A new theorem and proof are written line by line.

1. The lecture remains in the same classroom blackboard setting.

2. The topic stays on connectedness.

The visual transition marks a shift from proving preservation of connectedness under continuous surjections to proving connectedness of a union under a nonempty-intersection hypothesis.

1. Diagram
   Observation

   The completed second proof is visible while the lecturer stands to the left and speaks.

2. Animation
   Observation

   The lecturer gestures toward the board, especially around the theorem hypothesis and the case line beginning "If U contains all of X".

1. Theorem: If X and Y are connected and X cap Y != empty set, then X union Y is connected.

2. Proof by contradiction lines

3. Case distinction involving U cap Y, V cap Y, U cap X, V cap X

4. Word "contradiction" at the bottom

1. The lecturer alternates gaze between the audience and the board.

2. Gestures emphasize the hypothesis and the case split.

1. The written second proof remains unchanged during this interval.

2. No additional symbols are added after the displayed proof is complete.

The board contains the full intended proof structure, while the audio only reaches the beginning of the first case before the clip ends.

1. Diagram
   Observation

   The blackboard displays the theorem statement and the outline of the proof.

1. Text on blackboard

2. Speaker

1. The speaker points to different parts of the text while explaining.

1. The text on the blackboard remains static throughout the clip.

The visual aid provides the formal structure of the mathematical argument being explained verbally.

1. Audio
   Observation

   The lecturer says the two pieces are “open subsets of this subspace,” emphasizing the subspace context.

One might think the two blob pieces must be open in all of $\mathbb{R}^2$ to separate the subspace.

In the example, openness is relative to the subspace topology on the chosen subset of $\mathbb{R}^2$, not necessarily openness in the whole plane.

1. Audio
   Observation

   The speaker says "taking their inverse" and "distribute the f inverse" while working with $f^{-1}(U)$ and $f^{-1}(V)$.

2. Formula
   Observation

   The board uses $f^{-1}$ on subsets of Y, not on points requiring an inverse function.

Readers may think $f^{-1}$ here means an actual inverse map, which would require bijectivity.

In this proof $f^{-1}(U)$ denotes the preimage of a set U under f. Preimages are defined for any map and distribute over unions, so no inverse function is needed.

1. Audio
   Observation

   The speaker says f inverse Y is just all of X.

2. Formula
   Observation

   The theorem hypothesis explicitly includes that f is surjective.

One might treat $f^{-1}(Y)=X$ as automatic for any map.

Here the equality uses surjectivity of f: X -> Y. Without onto-ness, the preimage of Y need not equal all of X.

1. Formula
   Observation

   The second theorem explicitly includes X cap Y != empty set.

2. Audio
   Observation

   The speaker repeats that the intersection of X and Y is not empty before concluding the union is connected.

Readers may forget the nonempty-intersection hypothesis and assume connectedness is always preserved under unions.

The theorem requires X cap Y != empty set. The proof uses this to force one side of any alleged disconnection of X union Y to meet both X and Y in a way that contradicts connectedness of X or Y.

1. Audio
   Observation

   Immediately after stating the definition, the lecturer says, "For example, if we think of these two ... shapes in R2".

The two-blob picture is used to apply the definition of disconnectedness and connectedness to a concrete subspace of $\mathbb{R}^2$.

1. Formula
   Observation

   The theorem statement refers explicitly to `$X$ is connected` and `$Y$ is connected`, using the notion just defined.

The theorem about continuous surjective maps presupposes the definition of connectedness given earlier on the board.

1. Audio
   Observation

   The lecturer contrasts the union of two blobs with taking one blob alone.

The example distinguishes a disconnected union of two separated pieces from a single piece claimed to be connected.

1. Audio
   Observation

   The speaker says they will prove the contrapositive and then returns to the original conclusion.

2. Formula
   Observation

   The board proof assumes Y is disconnected and concludes X is disconnected, matching the contrapositive of the written theorem.

The first theorem is established by proving its contrapositive: if Y were disconnected, then X would be disconnected.

1. Formula
   Observation

   The proof passes from open sets U and V in Y to $f^{-1}(U)$ and $f^{-1}(V)$ in X.

2. Audio
   Observation

   The speaker says these inverse-image sets satisfy the properties for X to be disconnected.

1. The board does not explicitly write the sentence "continuity makes inverse images of open sets open," though the argument depends on it.

Continuity of f is what allows the preimages of the open disconnection sets of Y to be treated as open sets in X.

1. Formula
   Observation

   The step $f^{-1}(Y)=X$ appears in the proof.

2. Audio
   Observation

   The speaker says f inverse Y is just all of X.

Surjectivity is used to identify the preimage of all of Y with all of X, giving the covering condition needed for the disconnection of X.

1. Formula
   Observation

   The board rewrites $f^{-1}$(U union V) as $f^{-1}(U)$ union $f^{-1}(V)$.

2. Audio
   Observation

   The speaker says they can distribute the f inverse because inverses work nicely.

The set identity for preimages of unions is the algebraic step that converts the disconnection of Y into a covering of X by two preimage sets.

1. Formula
   Observation

   Both proofs begin by assuming a space is disconnected and writing a union equation for U and V.

2. Audio
   Observation

   The speaker describes open sets with null intersection and nonempty contents in both arguments.

The second theorem's contradiction proof uses the same open-set characterization of disconnectedness that drives the first theorem's contrapositive proof.

1. Formula
   Observation

   The board keeps the heading "Connectedness" while presenting two different theorems under it.

2. Audio
   Observation

   The lecture moves from preservation of connectedness under maps to preservation under unions with overlap.

Both results concern how connectedness behaves, but the first is about images under continuous surjections, while the second is about unions of overlapping connected spaces.

1. Audio
   Observation

   The speaker uses the term 'subspace' when discussing the openness of the intersections.

The concept of subspace topology is applied in the proof to determine whether the intersections of the hypothetical disconnection sets with X and Y are open.

1. Formula
   Observation

   The theorem relies on the definition of connected spaces.

The definition of connectedness is a prerequisite for understanding the theorem about the union of connected spaces.

1. Formula
   Observation

   The board contains the full definition of disconnectedness and connectedness.

1. Definition of disconnected and connected spaces

1. Audio
   Observation

   The lecturer explains the separation of the two blob-like regions.

2. Diagram
   Observation

   Two separated regions are drawn.

1. Subspace example: two separated blobs versus one blob
2. Derivation of disconnectedness for the two-blob example
3. Planar blob example for disconnectedness and connectedness

1. Audio
   Observation

   The lecturer states that one blob alone would be connected because no suitable separation exists.

1. Subspace example: two separated blobs versus one blob
2. Example claim: a single blob is connected

1. Formula
   Observation

   The theorem statement is written on the board.

1. Continuous surjective image of a connected space
2. Theorem claim: continuous surjective image of a connected space is connected

1. Audio
   Observation

   The speaker explicitly says they will prove the contrapositive.

2. Formula
   Observation

   The written proof assumes Y is disconnected rather than X is connected.

1. Continuous surjective image of a connected space is connected
2. Proof of the continuous-image theorem by contrapositive

1. Audio
   Observation

   The speaker says f inverse Y is just all of X.

2. Formula
   Observation

   The theorem hypothesis includes that f is surjective.

1. Continuous surjective map in the first theorem
2. Proof of the continuous-image theorem by contrapositive

1. Audio
   Observation

   The speaker says they can distribute the f inverse.

2. Formula
   Observation

   The board shows $f^{-1}(U)$ union $f^{-1}(V) = X$.

1. Preimage distributes over unions
2. Proof of the continuous-image theorem by contrapositive

1. Formula
   Observation

   The second theorem includes X cap Y != empty set.

2. Audio
   Observation

   The speaker repeats that the intersection is not empty before discussing the union.

1. Union of two connected spaces with nonempty intersection is connected
2. Proof sketch for the union theorem by contradiction

1. Formula
   Observation

   The board writes the case line "If U contains all of X" and the otherwise clause.

2. Audio
   Observation

   The speaker begins explaining the case where U contains all of X.

1. The full spoken justification of both cases is not present before the clip ends.

1. Union of two connected spaces with nonempty intersection is connected
2. Proof sketch for the union theorem by contradiction

1. Formula
   Observation

   The theorem statement is clearly visible on the board.

1. Union of Intersecting Connected Spaces

1. Audio
   Observation

   The speaker explicitly mentions 'contradiction' multiple times.

1. Proof of the Union Theorem by Contradiction