Exercise 17.4.12. Consider the set C* defined by C = C\0, i.e. the set of nonzero complex numbers. Define a binary relation on this set as follows. Let r₁ cis(0₁) and r2(cis 02) be two elements of C* expressed in polar form, where 0 ≤ 0 < 27. Then r₁ cis(01) r2(cis 0₂) T1 = 72. (a) Prove that, thus defined is an equivalence relation. (b) Sketch [1], [1 + i], and [ cis(7/3)] in the complex plane (show all three on a single sketch). Give geometrical descriptions (using words) of each of these sets (i.e. what can you say about the shape, size, and location of these three sets?) (c) Give a geometrical description of the equivalence classes of, in the following form: "The equivalence classes of are all at ........". centered (d) Based on your description in part (c), show that the equivalence classes of, form a partition of C*.

Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter5: Rings, Integral Domains, And Fields
Section5.4: Ordered Integral Domains
Problem 1E: Complete the proof of Theorem 5.30 by providing the following statements, where and are arbitrary...
icon
Related questions
Question

Please do Exercise 17.4.12 part A,B,C, and D and please show step by step and explain

Exercise 17.4.12. Consider the set C* defined by C* := C\0, i.e. the
set of nonzero complex numbers. Define a binary relation on this set
as follows. Let r₁ cis(0₁) and r2(cis 02) be two elements of C* expressed in
polar form, where 0 ≤ 0 < 2. Then
r₁ cis(01) r2(cis 02) T1 = 12.
(a) Prove that, thus defined is an equivalence relation.
(b) Sketch [1], [1 + i], and [ cis(/3)] in the complex plane (show all three
on a single sketch). Give geometrical descriptions (using words) of each
of these sets (i.e. what can you say about the shape, size, and location
of these three sets?)
(c) Give a geometrical description of the equivalence classes of~, in the
following form: "The equivalence classes of~, are all _________ centered
at'
(d) Based on your description in part (c), show that the equivalence classes
of~, form a partition of C*.
Transcribed Image Text:Exercise 17.4.12. Consider the set C* defined by C* := C\0, i.e. the set of nonzero complex numbers. Define a binary relation on this set as follows. Let r₁ cis(0₁) and r2(cis 02) be two elements of C* expressed in polar form, where 0 ≤ 0 < 2. Then r₁ cis(01) r2(cis 02) T1 = 12. (a) Prove that, thus defined is an equivalence relation. (b) Sketch [1], [1 + i], and [ cis(/3)] in the complex plane (show all three on a single sketch). Give geometrical descriptions (using words) of each of these sets (i.e. what can you say about the shape, size, and location of these three sets?) (c) Give a geometrical description of the equivalence classes of~, in the following form: "The equivalence classes of~, are all _________ centered at' (d) Based on your description in part (c), show that the equivalence classes of~, form a partition of C*.
Expert Solution
steps

Step by step

Solved in 3 steps with 3 images

Blurred answer
Recommended textbooks for you
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
Elementary Linear Algebra (MindTap Course List)
Elementary Linear Algebra (MindTap Course List)
Algebra
ISBN:
9781305658004
Author:
Ron Larson
Publisher:
Cengage Learning