Reasoning:
- Given a vector space V and a subspace W of V.
- "x≡y (mod W) if x-y∈W" defines equivalence relation.
- equivalence relation partitions V into equivalence classes.
- equivalence classes is called cosets of W in V.
- Define the quotient space V/W, whose elements are cosets of W in V.
My question:
If x & y ∈ W, x-y∈W. So it seems W⊆quotient space since W is a coset of itself. True? If yes, why V/W?
There is an element of the quotient space that has the same members as $W$, so $W$ is an element of $V/W$, but no, $W$ is not a subset of the quotient space. A subset of the quotient space would be a collection whose members are equivalence classes.
You are right when you say that $W$ is a coset of itself though, and that is why $W$ is an element of $V/W$.