--- title: "Compactness and Connectedness" description: "Two properties that continuous maps preserve, which is why proofs lean on them so heavily. Compactness turns any open cover into a finite one, and connectedness rules out splitting a space in two." canonical: https://lightmysky.com/learn/mathematics/compactness-and-connectedness-mt_ybV1lUedHs source: https://lightmysky.com/learn/mathematics/compactness-and-connectedness-mt_ybV1lUedHs.md retrieved: 2026-09-12 --- > **Agent view.** This is the Markdown twin of the page, for tools and assistants. > When to use this site, and the call that answers each job: https://lightmysky.com/agent-instructions.md > API description (OpenAPI 3.1): https://lightmysky.com/openapi.json · Authentication: https://lightmysky.com/auth.md > Pricing: https://lightmysky.com/pricing.md · Catalog: https://lightmysky.com/llms.txt · Full catalog: https://lightmysky.com/llms-full.txt > Every machine-readable file on this domain: https://lightmysky.com/.well-known/ai-catalog.json > Ask for Markdown with `Accept: text/markdown`, a `.md` address, or `?mode=agent`. # Compactness and Connectedness Two properties that continuous maps preserve, which is why proofs lean on them so heavily. Compactness turns any open cover into a finite one, and connectedness rules out splitting a space in two. Subject: Mathematics · Area: Topology · Ages 23 to 24 Page: https://lightmysky.com/learn/mathematics/compactness-and-connectedness-mt_ybV1lUedHs ## Ready when they can - Prove that the continuous image of a compact space is compact - Use connectedness to prove an intermediate value statement - Explain why closed and bounded describes compactness in Euclidean space but not in general ## Lesson: Properties that survive continuous maps A space is compact when every open cover has a finite subcover. Continuous maps preserve it: the image of a compact space is compact. To prove it you pull an open cover of the image back to the domain, extract finitely many there, and push them forward. **Example.** The extreme value theorem is compactness in action. A continuous image of a closed interval is compact, hence closed and bounded, so a maximum is attained. For 5 minus x squared on the interval from -2 to 2, the peak sits at x = 0 with value 5, beating the endpoint value 1. A space is connected when it cannot be split in two, and continuous images of connected sets stay connected. The intermediate value theorem follows: a continuous f with f of 0 = -2 and f of 3 = 7 must cross zero somewhere inside the open interval from 0 to 3. Existence comes before computation. **Tip.** Closed and bounded means compact only in Euclidean space, not in general. The closed unit ball in infinite dimensions is closed and bounded but fails to be compact. Whenever a proof leans on finiteness, check which theorem really supplies it. **Recap.** Compactness and connectedness pass through continuous maps, giving maxima on closed intervals and zeros between opposite signs. ## Practice 18 questions on this page, each with its working shown. ## Needs first - [Topological Spaces: Continuity Without Distance](https://lightmysky.com/learn/mathematics/topological-spaces-continuity-without-distance-mt_D2oPq0AVhI) - [Cauchy Sequences and the Bolzano-Weierstrass Theorem](https://lightmysky.com/learn/mathematics/cauchy-sequences-and-the-bolzano-weierstrass-theorem-mt_nreDylVkSU) ## Opens up - [The Fundamental Group and Loops on a Circle](https://lightmysky.com/learn/mathematics/the-fundamental-group-and-loops-on-a-circle-mt_zH50_L0nu4)