Defining an upper/lower bound in lexicographically ordered C.

  • 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, A = \{z \in ℂ: z = a+bi; a,b \in ℝ, a<0\}.

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 \in ℂ, 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.
 
Physics news on Phys.org
c0dy said:
If I have a lexicographic ordering on ℂ, and I define a subset, A = \{z \in ℂ: z = a+bi; a,b \in ℝ, a&lt;0\}.

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 \in ℂ, 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.
 
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top