Cosets of a subspace – Serlo

Zur Navigation springen Zur Suche springen

Derivation: coset or affine subspace

Lines in ${\displaystyle \mathbb {R} ^{2}}$

You probably already know the concept of a straight line. But how do we describe a line in ${\displaystyle \mathbb {R} ^{2}}$ mathematically? You know from school that you can parameterise straight lines by ${\displaystyle v+tu}$, where ${\displaystyle v,u\in \mathbb {R} ^{2},u\neq 0}$ are two fixed vectors and ${\displaystyle t}$ takes all values in ${\displaystyle \mathbb {R} }$. That is, all points on the straight line form the set ${\displaystyle G:=\{v+tu\mid t\in \mathbb {R} \}}$. Geometrically described, this is the (infinitely long) line running through ${\displaystyle v}$ in the direction of ${\displaystyle u}$.

An affine line is described by the support vector v and the direction vector u.

In general, a line does not pass through the origin ${\displaystyle (0,0)}$. Thus ${\displaystyle G}$ is not a subspace of ${\displaystyle \mathbb {R} ^{2}}$, since by definition every subspace contains the origin. However, the line ${\displaystyle G}$ is a displaced version of the line ${\displaystyle U:=\{tu\mid t\in \mathbb {R} \}}$ by the vector ${\displaystyle v}$. Here ${\displaystyle U}$ is a line passing through the origin. This is a subspace because it contains the origin and is closed under addition and scalar multiplication. That is, every straight line is given by the choice of a (one-dimensional) subspace ${\displaystyle U\subset \mathbb {R} ^{2}}$ and a vector ${\displaystyle v\in \mathbb {R} ^{2}}$. This justifies the notation ${\displaystyle G=v+U}$. This notation can also be formalised:

For a subspace ${\displaystyle W}$ consider a vector ${\displaystyle v}$. Let ${\displaystyle v+W}$ be by ${\displaystyle v+W:=\{v+w\mid w\in W\}}$. Then the following applies for the sets ${\displaystyle G}$ and ${\displaystyle U}$ defined above, that ${\displaystyle G=\{v+tu\mid t\in \mathbb {R} \}=\{v+w\mid w\in U\}=v+U}$.

Planes in ${\displaystyle \mathbb {R} ^{3}}$

Let's increase the dimension and consider ${\displaystyle \mathbb {R} ^{3}}$. We can describe a line in analogy to the set ${\displaystyle G:=\{v+tu\mid t\in \mathbb {R} \}}$ with vectors ${\displaystyle v}$ and ${\displaystyle u\in \mathbb {R} ^{3},u\neq 0}$. This is a displaced version of a line through the origin by a vector ${\displaystyle v}$. So formally again, any line is of the form ${\displaystyle v+U}$ for a vector ${\displaystyle v\in \mathbb {R} ^{3}}$ and a one-dimensional subspace ${\displaystyle U\subset \mathbb {R} ^{3}}$.

What about the planes in ${\displaystyle \mathbb {R} ^{3}}$? We parameterise them by ${\displaystyle v+t_{1}u_{1}+t_{2}u_{2}}$, where ${\displaystyle v,u_{1},u_{2}\in \mathbb {R} ^{3}}$ are fixed vectors and ${\displaystyle t_{1},t_{2}}$ pass through all values in ${\displaystyle \mathbb {R} }$. The vectors ${\displaystyle u_{1}}$ and ${\displaystyle u_{2}}$ must not be scalar multiples of each other - otherwise we would get a line. All points on the plane form the set ${\displaystyle E:=\{v+t_{1}u_{1}+t_{2}u_{2}\mid t_{1},t_{2}\in \mathbb {R} \}}$. As in the case of lines, the plane ${\displaystyle E}$ is generally not a subspace, since the origin need not lie in ${\displaystyle E}$. However, the plane is a displaced version of the subspace ${\displaystyle U:=\{t_{1}u_{1}+t_{2}u_{2}\mid t_{1},t_{2}\in \mathbb {R} \}}$ by the vector ${\displaystyle v}$. It is therefore analogously true that every plane is given by a two-dimensional subspace and a vector, i.e. that ${\displaystyle E=v+U}$.

An affine plane is described by the support vector v and the direction vectors u_1 and u_2.

Lines in ${\displaystyle (\mathbb {Z} /5\mathbb {Z} )^{2}}$

We can also look at certain straight lines in a more complicated space: We consider the ${\displaystyle \mathbb {Z} /5\mathbb {Z} }$-vector space ${\displaystyle (\mathbb {Z} /5\mathbb {Z} )^{2}}$. In the article vector space we have already seen that we can think of this vector space as regular points on a torus. Now what is a "straight line" on this torus? We have seen in the previous two sections how we can describe straight lines in the vector spaces ${\displaystyle \mathbb {R} ^{2}}$ and ${\displaystyle \mathbb {R} ^{3}}$: There a straight line is the same as a set ${\displaystyle G=\{v+tu\mid t\in \mathbb {R} \}}$ with a support vector ${\displaystyle v}$ and a direction vector ${\displaystyle u}$. In other words, it is the set ${\displaystyle G=v+U}$, where ${\displaystyle U=\{tu\mid u\in \mathbb {R} \}}$ is a one-dimensional subspace. We can transfer this construction to ${\displaystyle (\mathbb {Z} /5\mathbb {Z} )^{2}}$, that is, we can consider a straight line as ${\displaystyle G=v+U}$, where ${\displaystyle U}$ is a one-dimensional subspace of ${\displaystyle (\mathbb {Z} /5\mathbb {Z} )^{2}}$. That is, ${\displaystyle G}$ is of the form ${\displaystyle G=\{v+tu\mid t\in \mathbb {Z} /5\mathbb {Z} \}}$. We can visualise this set on a torus:

The points appear to lie on a line. If we connect the points each in the shortest way, we get a closed line that feels like a straight line on the torus.

Thus, displaced one-dimensional subspaces also correspond to straight lines here.

We consider another example of a straight line in ${\displaystyle (\mathbb {Z} /5\mathbb {Z} )^{2}}$. Consider the one-dimensional subspace ${\displaystyle U:=\{n(1,1)\mid n\in \mathbb {Z} /5\mathbb {Z} \}}$. We shift this by the vector ${\displaystyle (2,0)\in (\mathbb {Z} /5\mathbb {Z} )^{2}}$. Thus we obtain the line ${\displaystyle G:=(2,0)+U}$. Here a line consists of only five vectors. In our case ${\displaystyle G=\{(2,0),(3,1),(4,2),(0,3),(1,4)\}}$.

We have characterised geometric objects (e.g. lines and planes) as displaced subspaces in various vector spaces. Let's give them a name.

Definition: coset or affine subspace

Definition (Affine subspace or coset)

Let ${\displaystyle V}$ be a ${\displaystyle K}$-vector space and ${\displaystyle U}$ a subspace of ${\displaystyle V}$, so ${\displaystyle U\subseteq V}$. Further let ${\displaystyle v\in V}$. Then, the set ${\displaystyle v+U:=\{v+u\mid u\in U\}}$ is called the affine subspace or coset obtained by translating ${\displaystyle U}$ by the vector ${\displaystyle v}$.

Derivation: set of cosets of a subspace

We have defined cosets as displaced subspaces. Consider the following example of a displaced subspace ${\displaystyle U}$ of ${\displaystyle \mathbb {R} ^{2}}$ by two different vectors ${\displaystyle v}$ and ${\displaystyle v'}$:

In the example above, we see that different displacements of a subspace can lead to the same affine subspace. So we ask ourselves the following question:

When are two shifted subspaces ${\displaystyle v+U}$ and ${\displaystyle v'+U'}$ the same?

Let us first imagine the whole thing in ${\displaystyle \mathbb {R} ^{2}}$, where both shifted subspaces are lines. If they are equal, they have the same slope. This characterises the lines passing through the origin ${\displaystyle U}$ and ${\displaystyle U'}$. It follows that ${\displaystyle U}$ and ${\displaystyle U'}$ must be equal.

Let us now consider the question for general vector spaces. So let ${\displaystyle V}$ be a vector space, ${\displaystyle U,U'\subseteq V}$ be subspaces of vectors, ${\displaystyle v,v'\in V}$ be vectors, and let ${\displaystyle v+U=v'+U'}$ be sets. We would like to first conclude (as in ${\displaystyle \mathbb {R} ^{2}}$) that ${\displaystyle U=U'}$. To do this, it would be nice to get ${\displaystyle U}$ from ${\displaystyle v+U}$. This is done by taking all vectors of ${\displaystyle v+U}$ and subtracting ${\displaystyle v}$ , which indeed gives us ${\displaystyle U}$ . Hence, we can write ${\displaystyle U}$ as:

{\displaystyle {\begin{aligned}U&=\{w-v\mid w\in v+U\}\\&{\color {OliveGreen}\left\downarrow \ v+U=v'+U'\right.}\\&=\{w-v\mid w\in v'+U'\}\\&{\color {OliveGreen}\left\downarrow \ w\in v'+U'\iff \exists u'\in U':w=v'+u'\right.}\\&=\{v'+u'-v\mid u'\in U'\}\\&=(v'-v)+U'\end{aligned}}}

Since ${\displaystyle U}$ is a subspace, we have ${\displaystyle 0\in U}$. The above equation thus implies ${\displaystyle 0\in (v'-v)+U'}$, i.e., there is a ${\displaystyle u'\in U'}$, such that ${\displaystyle (v'-v)+u'=0}$, i.e., ${\displaystyle v'-v=-u'}$. In particular, ${\displaystyle v'-v\in U'}$.

More generally, for each subspace ${\displaystyle W}$ and vector ${\displaystyle w\in W}$, we have ${\displaystyle w+W=W}$. The reason is that each ${\displaystyle w'\in W}$ can be written as ${\displaystyle w'=w+(w'-w)}$. Since ${\displaystyle w'-w\in W}$ , we have ${\displaystyle w'\in w+W}$. Geometrically, you can also imagine the whole thing like this: If you move the subspace ${\displaystyle W}$ in a direction in which it already lies, it is mapped onto itself.

Back to our original question: Since ${\displaystyle v'-v\in U'}$ , we know that ${\displaystyle (v'-v)+U'=U'}$. So all in all we get the desired ${\displaystyle U=U'}$. On the way we have also seen that ${\displaystyle v'-v\in U'=U}$ is also a necessary criterion for ${\displaystyle v+U=v'+U'}$.

Are these criteria also sufficient? Yes: Suppose we have ${\displaystyle v,v'\in V}$ and ${\displaystyle U,U'\subset V}$ with ${\displaystyle U=U'}$ and ${\displaystyle v'-v\in U'=U}$ . Then ${\displaystyle U=U'=(v'-v)+U'}$ and hence, by adding ${\displaystyle v}$ on both sides, we have ${\displaystyle v+U=v'+U'}$.

Let us summarise: Two shifted subspaces ${\displaystyle v+U,v'+U'}$ are equal exactly if the (non-shifted) subspaces are equal, i.e. ${\displaystyle U=U'}$, and the difference of the shifts lie in ${\displaystyle U}$ , i.e., ${\displaystyle v-v'\in U}$.

Given a subspace, we can now find out whether two displacements by ${\displaystyle v}$ or ${\displaystyle v'}$ give the same affine subspace. We can thus construct a kind of "new equality" by considering ${\displaystyle v}$ and ${\displaystyle v'}$ to be "equal" if they produce the same affine subspace. Such new equalities behave reasonably if they are equivalence relations.

Recall the definition of an equivalence relation.

Definition (Equivalence relation)

An equivalence relation is a homogeneous binary relation on a basic set that has the following properties:

• reflexive
• symmetric
• transitive

Two elements that are in relation with respect to an equivalence relation are called equivalent. If two elements ${\displaystyle x}$ and ${\displaystyle y}$ are equivalent to each other with respect to an equivalence relation ${\displaystyle R}$, one often writes ${\displaystyle x\sim _{R}y}$ or simply ${\displaystyle x\sim y}$.

To formally write down the "new equality" mentioned above, we define a relation ${\displaystyle \sim }$ given by ${\displaystyle v\sim v':\iff v+U=v'+U\iff v-v'\in U}$. Intuitively, our relation should be an equivalence relation, since it says when two shifted subspaces are equal. We now check this formally:

Theorem (${\displaystyle \sim }$ is an equivalence relation)

The relation ${\displaystyle \sim }$ defined by ${\displaystyle v\sim w\iff v-w\in U}$ is an equivalence relation. This means that the relation is reflexive, symmetrical and transitive.

How to get to the proof? (${\displaystyle \sim }$ is an equivalence relation)

To show the assertion, we need to verify the three axioms of an equivalence relation: reflexivity, symmetry and transitivity. For reflexivity, we have to show for all ${\displaystyle v\in V}$ that ${\displaystyle v\sim v}$ is satisfied. By definition of ${\displaystyle \sim }$ we must show that ${\displaystyle v-v\in U}$. Now ${\displaystyle v-v=0}$ and ${\displaystyle U}$ is a subspace. Therefore ${\displaystyle v-v=0\in U}$ and hence reflexivity holds.

For transitivity and symmetry we proceed in the same way: we insert the definition and infer the desired property from the fact that ${\displaystyle U}$ is a subspace.

Proof (${\displaystyle \sim }$ is an equivalence relation)

Proof step: Reflexivity

Since ${\displaystyle U}$ is a subspace, we have ${\displaystyle 0\in U}$. For an arbitrary vector ${\displaystyle v\in V}$ we have ${\displaystyle 0=v-v\in U}$. By definition of the relation, it follows that ${\displaystyle v\sim v}$ for all ${\displaystyle v\in V}$.

Proof step: Symmetry

We want to show that from ${\displaystyle v\sim w}$ we can infer ${\displaystyle w\sim v}$ . So let ${\displaystyle v\sim w}$. Therefore, ${\displaystyle v-w\in U}$. As ${\displaystyle U}$ is a subspace, ${\displaystyle U}$ must be closed under taking inverses. So ${\displaystyle -(v-w)\in U}$. But this is equivalent to ${\displaystyle w-v\in U}$. Hence, ${\displaystyle w\sim v}$.

Proof step: Transitivity

Finally, we need to show that from ${\displaystyle v\sim w}$ and ${\displaystyle w\sim z}$ we get ${\displaystyle v\sim z}$. So let ${\displaystyle v\sim w}$, i.e., ${\displaystyle v-w\in U}$, and ${\displaystyle w\sim z}$, i.e., ${\displaystyle w-z\in U}$. Since ${\displaystyle U}$ is a subspace, ${\displaystyle U}$ must be closed under addition. So in particular ${\displaystyle (v-w)+(w-z)\in U}$. As ${\displaystyle v-w+w-z=v-z}$ we also have${\displaystyle v-z\in U}$ and hence ${\displaystyle v\sim z}$.

We can now consider the equivalence classes of this relation, that is, to ${\displaystyle v\in V}$ we consider the set ${\displaystyle [v]:=\{w\in V\mid v\sim w\}}$. So the set${\displaystyle [v]}$ consists of all vectors ${\displaystyle w}$, that displace ${\displaystyle U}$ to the same affine subspace ${\displaystyle v+U}$. How else can we characterise these equivalence classes? We have

${\displaystyle [v]=\{w\in V\mid v\sim w\}=\{w\in V\mid v-w\in U\}=\{v+u\mid u\in U\}=v+U}$

That is, the equivalence classes of our relation are precisely the coset classes.

Just as we can look at an equivalence relation and its equivalence classes, we can also construct a space in which the "new equality" of the equivalence relation becomes a real equality. This is the set of equivalence classes to which we now want to give a special name.

Definition: set of cosets of a subspace

Definition (Set of cosets of a subspace)

Let ${\displaystyle V}$ be a ${\displaystyle K}$-verctorspace and ${\displaystyle U}$ a subspace of ${\displaystyle V}$, so ${\displaystyle U\subseteq V}$. Further, let ${\displaystyle v,w\in V}$. Define ${\displaystyle v\sim w:\iff v-w\in U}$. Then, ${\displaystyle \sim }$ is an equivalence relation on ${\displaystyle V}$ and the Equivalence class of an element ${\displaystyle v\in V}$ is the set ${\displaystyle v+U}$. We call this the coset generated by ${\displaystyle v}$ with respect to ${\displaystyle U}$.

We define

${\displaystyle V/U:=\{v+U\mid v\in V\}}$

to be the set of cosets of ${\displaystyle U}$.

We have defined the set of cosets ${\displaystyle V/U}$ as the set of equivalence classes according to ${\displaystyle \sim }$. In the last section we saw that the equivalence class generated by ${\displaystyle v\in V}$ is given exactly by the affine subspace ${\displaystyle v+U}$. Thus an equivalence class with respect to ${\displaystyle \sim }$ is the same as a displaced version of ${\displaystyle U}$. This provides two equivalent views of the set ${\displaystyle V/U}$: on the one hand, ${\displaystyle V/U}$ is the set of equivalence classes with respect to ${\displaystyle \sim }$; on the other hand, it is the set of displaced versions of ${\displaystyle U}$.

Hint

Depending on which of the two interpretations of the elements of ${\displaystyle V/U}$ one uses, one uses different names for the elements ${\displaystyle v+U}$ of ${\displaystyle V/U}$. If one uses the equivalence relation to divide the elements of ${\displaystyle V}$ into different sets, one speaks of cosets. If, on the other hand, one considers a displacement of ${\displaystyle U}$, one speaks of an affine subspace.

Examples for cosets

Example (Physics: Change of potential energy)

We consider the three-dimensional space with a gravitational field on it, with a positive gravitational constant ${\displaystyle g}$.As coordinates, we use ${\displaystyle x_{1}}$, ${\displaystyle x_{2}}$ and ${\displaystyle x_{3}}$. Such a space can be, for example, the room where you are reading this article. We put our origin at some point on your table, so we define the potential energy at that point as 0. From that point, you can move an object to different points, assigning to each of those destination points the potential energy of a point particle we move there, which depends only on its height above the table. We can also take it to mean that we want to assign to each movement from the origin its change in potential energy. Let the table in our consideration be within the ${\displaystyle x_{1}}$-${\displaystyle x_{2}}$- plane. The potential energy of a particle or the change of the potential energy by a movement from the origin to ${\displaystyle (x_{1},x_{2},x_{3})^{T}}$ is thus:

${\displaystyle E_{pot}=m\cdot g\cdot x_{3}}$

We want to classify the possible rectilinear displacements from the origin based on their change in potential energy, and call two displacements equivalent if their change in the potential energy of a point particle matches. We want to group displacements into one class that change the potential energy in the same way. The mass, as well as the gravitational constant, are given for our point particle. Therefore, two displacements under consideration have the same potential energy if they have the same change in height. The displacements are therefore in the same class if their ${\displaystyle x_{3}}$-value matches.

Let us now abstract our illustrative example. Our space is the ${\displaystyle \mathbb {R} }$-vector space ${\displaystyle \mathbb {R} ^{3}}$. Mathematically, displacements from the origin are described by vectors. Displacements that cause the same change in potential energy for a point particle move it from the origin in ${\displaystyle \mathbb {R} ^{3}}$ to the same plane parallel to the ${\displaystyle x_{1}}$-${\displaystyle x_{2}}$ plane, since exactly the point particles on this plane have the same potential energy. For a given change in potential energy, we can choose any of the vectors causing such a change as representatives.

In the chapter on subspaces we have already seen that the ${\displaystyle x_{1}}$-${\displaystyle x_{2}}$-plane is a subspace ${\displaystyle U}$ of ${\displaystyle \mathbb {R} ^{3}}$. In our physical example, we saw that planes shifted along the ${\displaystyle x_{3}}$- axis were equivalence classes with respect to the change of potential energy. These classes are also called cosets.

Example (Finance: Change in the balance of two accounts)

Let us assume that each person always has exactly two bank accounts. Now we want to know how much money each person has in total. So we are interested in the sum of all the money each person has in their bank accounts. We look at the two bank accounts that Anna has. In these she has saved amounts of ${\displaystyle A_{1}}$ and ${\displaystyle A_{2}}$ respectively. So the total money saved by Anna is ${\displaystyle A_{1}+A_{2}}$.

Let us now consider two people, Emma and Fritz. Emma has on her accounts ${\displaystyle E=(E_{1},E_{2})^{T}}$. Fritz has on his accounts ${\displaystyle F=(F_{1},F_{2})^{T}}$. Emma and Fritz therefore have exactly the same amount of money if ${\displaystyle E_{1}+E_{2}=F_{1}+F_{2}}$. We call the pairs of accounts ${\displaystyle (E_{1},E_{2})^{T}}$ and ${\displaystyle (F_{1},F_{2})^{T}}$ equivalent if there is the same amount of money on them, i.e. if ${\displaystyle E_{1}+E_{2}=F_{1}+F_{2}}$.

With this definition, the following pairs of accounts are equivalent, for example:

{\displaystyle {\begin{aligned}{\begin{pmatrix}700\\300\end{pmatrix}}{\text{ and }}{\begin{pmatrix}900\\100\end{pmatrix}}.\end{aligned}}}

The reason is ${\displaystyle 700+300=1000=900+100}$.

The two accounts of Emma and Fritz are therefore equivalent if ${\displaystyle E_{1}+E_{2}-(F_{1}+F_{2})=0}$, i.e., ${\displaystyle E_{1}-F_{1}+E_{2}-F_{2}=0}$. We define the difference of the vectors ${\displaystyle E}$ and ${\displaystyle F}$ as

{\displaystyle {\begin{aligned}{\begin{pmatrix}x\\y\end{pmatrix}}:={\begin{pmatrix}E_{1}-F_{1}\\E_{2}-F_{2}\end{pmatrix}}.\end{aligned}}}

The vectors ${\displaystyle E}$ and ${\displaystyle F}$ are equivalent if and only if ${\displaystyle x+y=0}$.

In other words, the sum of the funds from two accounts is given by the following linear map:

{\displaystyle {\begin{aligned}f{\begin{pmatrix}x\\y\end{pmatrix}}=x+y\end{aligned}}}

Thus the kernel of ${\displaystyle f}$ is the set of pairs of accounts whose sum is zero. So two pairs of accounts are equivalent if they differ only by a vector of ${\displaystyle \ker(f)}$. We can further transform the kernel of ${\displaystyle f}$:

{\displaystyle {\begin{aligned}\ker(f)=\left\{{\begin{pmatrix}x\\y\end{pmatrix}}{\bigg |}x+y=0\right\}=\left\{{\begin{pmatrix}a\\-a\end{pmatrix}}{\bigg |}a\in \mathbb {R} \right\}=\operatorname {span} \left(\left\{{\begin{pmatrix}1\\-1\end{pmatrix}}\right\}\right).\end{aligned}}}

The equivalence classes with respect to the sum of the account balances are thus exactly the coset classes modulo the subspace ${\displaystyle U:=\operatorname {span} \left(\left\{(1,-1)^{T}\right\}\right)}$. All cosets are of the form

{\displaystyle {\begin{aligned}{\begin{pmatrix}a\\0\end{pmatrix}}+U\end{aligned}}}

with ${\displaystyle a\in \mathbb {R} }$.

We can also think of it like this: We want to look at the summed balance of the two accounts. In the process of summation, information on the single accounts is lost. We still know how much money a person has in total, but no longer how the money is distributed between the two accounts.

Example (Two switches for one light source)

We consider the following scenario: A hallway has two light switches, both of which are to control the ceiling lamp. For this purpose, one can use a multiway switching. We want to model the behaviour of this circuit using vector spaces.

A light switch that points upwards.

We start with the light switches. Every light switch has two states: it points either up or down. So we can model it with ${\displaystyle \mathbb {F} _{2}=\mathbb {Z} /2\mathbb {Z} }$. The ${\displaystyle 0}$ stands for the light switch in the upper position and the ${\displaystyle 1}$ for the light switch in the lower position. When you flip the light switch, the state changes from ${\displaystyle 0}$ to ${\displaystyle 1}$ or from ${\displaystyle 1}$ to ${\displaystyle 0}$ – depending on the current position of the light switch. This change of state corresponds to the mathematical operation ${\displaystyle +1}$ within the field ${\displaystyle \mathbb {F} _{2}}$.

Now that we know how to model a light switch and the flipping of a light switch, we process all the input data of the multiway switching: these are the two light switches. We have four states, as each light switch has the state up (${\displaystyle 0}$) and down (${\displaystyle 1}$). Thus ${\displaystyle \mathbb {F} _{2}^{2}}$ is a suitable vector space for modelling the states. The state of the first light switch is given by the first component and the state of the second one by the second component. In this modelling, flipping the first light switch then corresponds to ${\displaystyle +(1,0)^{T}}$ and flipping the second light switch corresponds to ${\displaystyle +(0,1)^{T}}$. If both light switches are in the upper position (this corresponds to ${\displaystyle (0,0)^{T}}$) and we flip the first light switch, we arrive at the state ${\displaystyle (0,0)^{T}+(1,0)^{T}=(1,0)^{T}}$.

In order to extract the information from this model as to whether the lamp is on or off, we must first understand this circumstance with the multiway switching. The toggle switch allows us freedom at this point: We can build it in such a way that both switches have to be in the same position for the lamp to be on. We can also build it such that the lamp is on when the two switches are in different positions. For this example, we consider the case where the lamp is on exactly when both switches are in different positions. Thus we identify the states ${\displaystyle (1,0)^{T}}$ and ${\displaystyle (0,1)^{T}}$ with a lamp being on. We identify the other states ${\displaystyle (0,0)^{T}}$ and ${\displaystyle (1,1)^{T}}$ with a switched-off lamp. The latter form a subspace ${\displaystyle U:=\{(0,0)^{T},(1,1)^{T}\}\subseteq \mathbb {F} _{2}^{2}}$. If we shift this by ${\displaystyle (1,0)^{T}}$ or ${\displaystyle (0,1)^{T}}$, we get the states of a switched-on lamp ${\displaystyle (1,0)^{T}+U}$. These are all cosets of ${\displaystyle U}$ in ${\displaystyle \mathbb {F} _{2}^{2}}$. Thus we can summarise the alternating switch situation as follows: Given a switch state ${\displaystyle v\in \mathbb {F} _{2}^{2}}$, we get the information whether the lamp is on by determining the coset generated by ${\displaystyle v}$ in ${\displaystyle \mathbb {F} _{2}^{2}/U}$. If this is ${\displaystyle U}$, the lamp is off. If it is ${\displaystyle (1,0)^{T}+U}$, the lamp is on.

With this understanding of the lamp state, we can also describe the influence that flipping a switch has. Each of the operations ${\displaystyle +(1,0)^{T}}$ and ${\displaystyle +(0,1)^{T}}$ affects the lamp states ${\displaystyle \mathbb {F} _{2}^{2}/U}$ by changing the state of the lamp. If the lamp is in the off state ${\displaystyle U}$ and the second switch is flipped with ${\displaystyle +(0,1)^{T}}$, it is then in the on state ${\displaystyle (0,1)^{T}+U=(1,0)^{T}+U}$. If the first switch is now flipped, the lamp changes back to the switched-off state. Mathematically, this is represented by ${\displaystyle (1,0)^{T}+((0,1)^{T}+U))=(1,1)^{T}+U=U}$.

Properties of equivalence classes applied to cosets

We have seen above that cosets of a one-dimensional subspace in ${\displaystyle \mathbb {R} ^{2}}$ are parallel straight lines. We can also explain this by characterising cosets as equivalence classes: Two equivalence classes, as sets, are either equal or disjoint. For us, this means that two cosets, i.e. two straight lines, are either equal or that they have no point of intersection. The latter means that they are parallel.

Furthermore, we know about equivalence classes that they cover the whole space, i.e. the union of all equivalence classes results in the whole set. From this we conclude that the union of all cosets (in our case parallel straight lines) gives the whole ${\displaystyle \mathbb {R} ^{2}}$. We can therefore decompose the vector space into the cosets - like leaves. This decomposition is also called a partition. So the cosets partition the vector space. In our example, this means that we can decompose the ${\displaystyle \mathbb {R} ^{2}}$ into displaced versions of an origin line ${\displaystyle U}$. This is illustrated in the following picture:

Both points mentioned also work in general (not only in ${\displaystyle \mathbb {R} ^{2}}$), since we have not used any property of ${\displaystyle \mathbb {R} ^{2}}$ in any of our arguments. It is therefore true for a vector space ${\displaystyle V}$ and a subspace ${\displaystyle U}$ that:

${\displaystyle V}$ is the union of the cosets ${\displaystyle U}$ and any two cosets are disjoint.

Outlook

Cosets occur when solving systems of linear equations: The solutions of the associated homogeneous system of equations ${\displaystyle U}$ form a subvector space. If the linear system of equations has a solution, the solutions form an affine subspace with respect to ${\displaystyle U}$.

To-Do:

Set a link as soon as the article on solving linear systems of equations is written..