Convex subsets in ordered sets: intervals or half rays?

  • Thread starter Thread starter nonequilibrium
  • Start date Start date
  • Tags Tags
    intervals Topology
Click For Summary

Homework Help Overview

The discussion revolves around the concept of convex subsets within ordered sets, specifically questioning whether a convex subset of an ordered set must be classified as an interval or half ray. The context is situated within a topology course, where terminology and definitions are being scrutinized.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants explore the definition of convexity and its implications for subsets of ordered sets. There is a specific focus on the example of the rational numbers and the intersection with real intervals, raising questions about the nature of intervals in the context of rational numbers.

Discussion Status

The conversation reflects a mix of interpretations regarding the definition of convexity and its application to specific subsets. Some participants are questioning their understanding of intervals in relation to convex sets, while others are clarifying the implications of the intersection with the rational numbers.

Contextual Notes

There is a noted confusion regarding the terminology of intervals and the implications of including irrational numbers in the discussion. The participants are navigating the definitions and their applications within the constraints of the ordered set of rational numbers.

nonequilibrium
Messages
1,412
Reaction score
2

Homework Statement


It might not be a real topology question, but it's an exercise question in the topology course I'm taking. The question is not too hard, but I'm mainly doubting about the terminology:
Let X be an ordered set and [itex]Y \subsetneq X[/itex] convex. Does it follow that Y is an interval or half ray?

Homework Equations


N.A.

The Attempt at a Solution


I would think not, unless I'm misunderstanding the terminology. Take the rational numbers and the subset denoted in [itex]\mathbb R[/itex] as [itex][\sqrt{2},2] \cap \mathbb Q[/itex]. It is indeed convex in [itex]\mathbb Q[/itex], but it's not an interval, cause I can't write it as [itex][q_1,q_2][/itex] or [itex]]q_1,q_2][/itex] with [itex]q_i \in \mathbb Q[/itex], or is my notion of interval too narrow?
 
Physics news on Phys.org
hi mr. vodka! :smile:

doesn't "convex" mean that, between any two elements of Y, there's no element in X that isn't in Y ?
 
Uhu. Which is true if you view that set as a part of the rational numbers, right?
 
How is that in Q?
 
oops! :redface: misread the question! :rolleyes:

let me start again …

√2 isn't in Q, so what's the meaning of [itex][\sqrt{2},2] \cap \mathbb Q[/itex] ? :confused:
 
Well you know what it means in R, right? And then you can interpret it as a subset of Q.
 
Well, [itex][-\sqrt{2},\sqrt{2}][/itex] as a subset of R is not the same set as [itex][-\sqrt{2}, \sqrt{2}][/itex] as a subset of Q. The first contains many points not in the second.
 
but that's not the subset I regarded, I regarded the intersection with Q
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 25 ·
Replies
25
Views
3K
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 11 ·
Replies
11
Views
3K