Defining an upper/lower bound in lexicographically ordered C.

  • Context: Graduate 
  • Thread starter Thread starter c0dy
  • Start date Start date
  • Tags Tags
    Bound
c0dy
Messages
15
Reaction score
0
If I have a lexicographic ordering on ℂ, and I define a subset, [itex]A = \{z \in ℂ: z = a+bi; a,b \in ℝ, a<0\}[/itex].

I have an upper bound, say α = 0+di. My question is does only the real part, Re(α) = 0 define the upper bound? Or does the Im(α) = d have nothing to do with bounds in general?

Since it seems to me if I have the lexicographic ordering on ℂ such as for any two m,n [itex]\in[/itex] ℂ, where m = a+bi and n = c+di and I define the ordering as m<n if a<c or if a=c and b<d.

The last bit, b<d gives me the impression that Im(α) would play a role in the upper bound. The reason I am asking is because in a proof I read, they prove this order has no least upper bound as there are infinitely many complex numbers with their real parts equal to Re(α) but different imaginary parts. So, I guess if only the real parts of complex numbers define the bounds then it makes sense to me.
 
on Phys.org
c0dy said:
If I have a lexicographic ordering on ℂ, and I define a subset, [itex]A = \{z \in ℂ: z = a+bi; a,b \in ℝ, a<0\}[/itex].

I have an upper bound, say α = 0+di. My question is does only the real part, Re(α) = 0 define the upper bound? Or does the Im(α) = d have nothing to do with bounds in general?

Since it seems to me if I have the lexicographic ordering on ℂ such as for any two m,n [itex]\in[/itex] ℂ, where m = a+bi and n = c+di and I define the ordering as m<n if a<c or if a=c and b<d.

The last bit, b<d gives me the impression that Im(α) would play a role in the upper bound. The reason I am asking is because in a proof I read, they prove this order has no least upper bound as there are infinitely many complex numbers with their real parts equal to Re(α) but different imaginary parts. So, I guess if only the real parts of complex numbers define the bounds then it makes sense to me.

A least upper bound has to be a specific number with the LUB property. In this case there is no such number, since there are lots of upper bounds but none of them is the smallest.
 

Similar threads

Replies
2
Views
2K
Replies
11
Views
4K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
4
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K