- #1

- 1,462

- 44

- I
- Thread starter Mr Davis 97
- Start date

- #1

- 1,462

- 44

- #2

fresh_42

Mentor

- 14,385

- 11,697

- #3

- 3,886

- 1,454

My guess is that they meant to ask a different question. The hint is that they use G for the set, which suggests they may be thinking of groups. I think they meant to specify that ##G=\mathbb R / \mathbb Z## where those two elements are considered as Abelian groups under addition. For G thus defined it follows from known theorems about quotient groups that the + operation is well defined, but it remains to be proved that the floor operation is, although proving that is pretty easy. It can either be proved explicitly for the quotient group, or by proving that the quotient group is isomorphic to the group [0,1) in the OP via the obvious isomorphism, and that the dot operation is well-defined on the group [0,1) as you showed above.

It is usually in the context of quotient entities that the question of well-definedness arises.

- #4

- 1,462

- 44

Is one way to write the property of a binary operation being well-defined the following? For ##x,~y,~x',~y' \in G##, if ##x = x'## and ##y = y'## then ##x \cdot y = x' \cdot y'##obvious. At least it's a good exercise, in order to get used to the question. Obvious or not, it's always important to check.

This is how I have seen it. If this is the case, isn't it trivial to prove that the binary operation in question is well-defined, since we simply write

##x \cdot y = x + y - \lfloor x + y \rfloor## and then substitute ##x## with ##x'## and ##y## with ##y'## to get the result?

- #5

fresh_42

Mentor

- 14,385

- 11,697

Sure. I just thought it's a good habit always to check.Is one way to write the property of a binary operation being well-defined the following? For ##x,~y,~x',~y' \in G##, if ##x = x'## and ##y = y'## then ##x \cdot y = x' \cdot y'##

This is how I have seen it. If this is the case, isn't it trivial to prove that the binary operation in question is well-defined, since we simply write

##x \cdot y = x + y - \lfloor x + y \rfloor## and then substitute ##x## with ##x'## and ##y## with ##y'## to get the result?

@andrewkirk 's answer is a better example: assume ##x,y \in \mathbb{R}/\mathbb{Z}## with the same definition of multiplication. Then it really has to be shown. In this case, ##G## is just one possible set of representatives of ##\mathbb{R}/\mathbb{Z}##. He is also right, that usually this question is important if the elements are sets represented by one of its elements, e.g. equivalence classes such as cosets. Saying ##x=x'## and ##y=y'## in your example already finishes the proof, as there are no two ways for an element to equal another. But if the elements are ##[x]=x+\mathbb{Z}## then there is no unique representative; ##[x]=[x']## means only ##x-x' \in \mathbb{Z}##.

Since ##G \cong \mathbb{R}/\mathbb{Z}## I agree with his suspicion, that those classes are probably meant. I just haven't seen it, before he mentioned it. So the better exercise is: Show that ##[x]\,\cdot \,[y] := [\,x+y - \lfloor x+y \rfloor \, ]## is well-defined.

- #6

Infrared

Science Advisor

Gold Member

- 866

- 471

- Replies
- 3

- Views
- 3K

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 2

- Views
- 2K

- Replies
- 5

- Views
- 2K

- Replies
- 8

- Views
- 3K

- Replies
- 6

- Views
- 4K

- Replies
- 8

- Views
- 295

- Replies
- 9

- Views
- 2K

- Replies
- 12

- Views
- 7K

- Replies
- 3

- Views
- 1K