Yahoo Answers is shutting down on May 4th, 2021 (Eastern Time) and the Yahoo Answers website is now in read-only mode. **There will be no changes to other Yahoo properties or services, or your Yahoo account.** You can find more information about the Yahoo Answers shutdown and how to download your data on this help page.

## Trending News

# 一個拓樸空間的 Suspension 是什麼意思 @@?

這個 Suspension 在這邊應該怎麼解釋比較好 ?

我不太了解下面這段話的意思 QQ

In topology, the suspension SX of a topological space X is the quotient space :

SX = (X x I) / {(x_1,0) ~ (x_2,0) and (x_1,1) ~ (x_2,1) for all x_1 , x_2 in X} (?)

of the product of X with the unit interval I = [0, 1]. Intuitively we make X into a cylinder and collapse both ends to two points. One views X as "suspended" between the end points. One can also view the suspension as two cones on X glued together at their base (or as a quotient of a single cone).

SX 的表示法我看不太懂

要把一個空間摳掉不是都拿它的子集去摳的嗎 ?

### 1 Answer

- EricLv 61 decade agoFavorite Answer
Let Y be a topological space. An equivalence relation ~ on Y is a relation on Y that is reflexive, symmetric, and transitive. The equivalence class of a point y ∈ Y is the set [y] = {z ∈ Y: z ~ y}. The collection of equivalence classes partitions Y, since ∪[y] = Y and for equivalence classes [y] and [z] either [y] = [z] holds or [y] and [z] are disjoint.The quotient space Y/~ = {[y] : y ∈ Y} is the topological space where the points are the equivalence classes of Y and a subset of Y is considered to be open if the union of its points (which are subsets of Y) is open in Y.The suspension SX of a topological space X is the quotient space X×[0,1]/~ where ~ is the equivalence relation defined as(x1,0) ~ (x2,0) for all x1, x2 ∈ X(x1,1) ~ (x2,1) for all x1, x2 ∈ X(x,t) ~ (x,t) for all (x,t) ∈ X×[0,1].In other words, the points in SX (which are equivalence classes) areX×{0}X×{1}{(x,t)} where (x,t) ∈ X×(0,1).A subset of SX is said to be open if the union of its points, treated as subsets of X×(0,1), is open in the topology of X×[0,1].Intuitively, if we visualize X as a disk, then X×[0,1] would be a cylinder. The equivalence relation would then squeeze the disks X×{0} and X×{1} into points (the green points in the figure), and we can visualize the rest of the cylinder as tapering to green points from the center, since size/radius is irrelevant from a topological point of view.