Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I searched and searched about quotient set and cannot figure out what it is. At the beginning, I thought it was the same as partitions, but now I'm confused. Can someone show some examples and explain?

share|cite|improve this question
    
This is, imo, way too messy to explain it all in this site, but in very short: every equivalence relation on a set determines a unique partition of that set, from which we can form a quotient set with the equivalence classes, and the other way around is true, too. Many elementary algebra, or college algebra, books deal with this. Also set theory books. – DonAntonio Dec 5 '13 at 19:00
    
You have a set $S$. You also have an equivalence relation $\sim$ on $S$. You define the class of an element $x\in S$ by $\overline{x}=\{y\in S \mid y \sim x\}$. And then you define the quotient set $S/\sim \,= \{\overline{x}\mid x \in S\}$. – xavierm02 Dec 5 '13 at 19:02
    
I don't think there's any difference between "quotient set" and "partition." – goblin Jul 17 '14 at 17:25
    
You might have a look at Wikipedia article or definition at ProofWiki (and other related stuff). – Martin Sleziak Jul 7 at 5:55
up vote 3 down vote accepted

A quotient set is what you get when you "divide" a set $A$ by $B\subseteq A$, wherein you set all elements of $B$ to the identity in $A$. For example, if $A=\Bbb Z$ and $B=\{5n\mid n\in\Bbb Z\}$, then you're making all multiples of $5$ zero for all intents and purposes, so the quotient is $\{0,1,2,3,4\}$.

Another (and more correct) way of saying this is that a quotient set is all equivalence classes on the set $A$ under a given equivalence relation. In the example above, $aRb\iff 5|(a-b)$, so clearly the equivalence classes are $n\equiv 0,1,2,3,4\pmod 5$. In reality, you can select any number from each equivalence class, so $\{20,-34,77,63,-1\}$ would be a "correct" quotient set, just not canonical.

share|cite|improve this answer
    
@TimRatigan and quocient set based on mod i understand, but based on another relation like, (x,y) where x + |x| = y + |y|, based com E = {-3,-2,-1,0,1,2,3}, i found the relation elements, how can i build the quotien set? i figured out that it works for mod, but cant figure out to another single relation – Matheus Silva Dec 6 '13 at 0:59
    
i'm only able to find the quotient set if have a relation ? – Matheus Silva Dec 6 '13 at 22:16
    
The quotient set is really just picking one element from each equivalence class and putting your chosen elements in a set. You can only get equivalence classes from an equivalence relation, so yes, you need a relation. – Tim Ratigan Dec 6 '13 at 22:47
1  
The first part of your answer is very misleading. If I took a set $A$ and just took an arbitrary subset $B$, what would the quotient $A/B$ mean? If you are simply identifying all the points of $B$ as a single point, then that is not the same kind of quotient you are taking in your example of $A = Z$ and $B$ multiples of $5$. (In that example, you are implicitly using the addition structure, and you are partitioning $A$ with $B$, $B+1$, $B+2$, $B+3$, and $B+4$.) – Braindead Jul 17 '14 at 16:56
1  
@Braindead Agreed: In fact, the equivalence relation $R$ to quotient $A$ by, need not be a subset of $A$, but a subset of $A\times A$. Another thing I think must be adressed is the fact that, according to the answer, the notation $A/R$ doesn't refer to a set of elements of $A$, but to a set of equivalence classes (that is, $\{0,1,2,3,4\}\neq \{0,1,2,3,44\}, $ but $\Bbb Z /5\Bbb Z:= \{[0],[1],[2],[3],[4]\}=\{[0],[1],[2],[3],[44]\}$). – YoTengoUnLCD Jan 4 at 4:27

I'm way late to the party, but for anyone stumbling upon this like I did, a simple definition for a quotient set is "the set of all equivalence classes of a set under a given equivalence relation." An equivalence class IS the same as a partition, defined by using some equivalence relation. But the quotient is ALL of those equivalence classes (partitions) under that particular equivalence relation. You DO need an equivalence relation to build a quotient set, which is why the notation is S/~, which is read as "the quotient set of the set S under the equivalence relation ~."

At the risk of over-simplifying it, you could say that the quotient set under a particular equivalence relation is the same as the original set, but in partitions rather than all together. (This isn't strictly true, but it's a useful way to understand the basic idea)

For example, say the set $C$ is the set of all cars, and $\sim_c$ is an equivalence relation that means "is the same color as." So for some white car $w$ and some other white car $h$, $w\sim_ch$. With that kind of equivalence relation, $[w]$ is the equivalence class that means "all white cars," and is a partition of the set of all cars $C$. $[h]$ works just as well since both $w$ and $h$ are in the same equivalence class. (You could write $[w]_{\sim_c}$ to be specific about which relation you're using for the equivalence class) The quotient set $C/\sim_c$ would be the set of all equivalence classes in $C$ under $\sim_c$. I.e., it's the set of all partitions of $C$, partitioned by color. If you happen to be fully color blind so that all cars look either white, grey, or black, then the quotient set $C/\sim_c$ would be $\{[w],[g],[b]\}$ (given that $g$ and $b$ are grey and black cars just like $w$ is a white car). So to build a quotient set, you either list out all of the possible equivalence classes OR generalize it with set notation: $$C/\sim_c\ \ = \{[x]_{\sim_c}\mid x\in C\}$$

Since each equivalence class in this context represents all cars with a specific color and the quotient set contains all color groups (by definition), then the quotient set ultimately still represents the same group of objects. If you were to visualize this, then you'd see all the cars in the world gathered into different groups by color rather than all in one heap. More strictly speaking, the quotient set is more like a listing of the groups rather than a listing of all the cars in the groups (After all, the elements in $C$ are cars, but the elements in $C/\sim_C$ are sets of cars). Writing $[w]$ is like saying "all cars with the same color as this $w$ one," or "this car's color is what I mean by 'white.'" (the first one is more mathematically correct, but the second makes more contextual sense with the example)

I hope that helps to thoroughly visualize the concept. In general, a quotient set differs from a partition in that a quotient set contains partitions as elements, and those partitions are defined by an equivalence relation. The two are definitely distinct.

share|cite|improve this answer

I thought $Z/nZ=\{a+nZ:a\in Z, n\in N\}$ symbols or $X/A=\{x+A:x\in X,a\in A\}$ and $x+A=\{x+a:x\in X,a\in A\}$.

share|cite|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.