Subset Condititonal Question

  • Thread starter Zarlucicil
  • Start date
  • #1
13
2
I've used the following implication (conditional...whatever you want to call it) in a few proofs and was wondering if it's actually is true. I incorporated it into my proofs because it seemed to make obvious sense, but I'm not sure if I'm overlooking something- obvious or subtle.

[tex] T \subseteq S \Rightarrow \exists s' \in S \& \exists s'' \in S \ni [s' \leq t \leq s''], \forall t \in T [/tex].

English: If T is a subset of S, then there exists an s' in S and an s'' in S such that t is greater than or equal to s' and less than or equal to s'', for all t in T.
 
Last edited:

Answers and Replies

  • #2
HallsofIvy
Science Advisor
Homework Helper
41,847
966
First, we are not talking about general sets. In order for the inequalities to make sense, S must be a linearly ordered set- probably the set or real numbers. And it looks to me like, in order for that statement to be true, S and T must be intervals specifically.
 
  • #3
13
2
S must be a linearly ordered set

Yes- I'm sorry. S is a subset of the real numbers.
And it looks to me like, in order for that statement to be true, S and T must be intervals specifically.

I suppose that might be true, but I can't think of a counterexample involving non-interval sets nor have I found a way to disprove the implication for non-interval sets. It seems to be true for at least some non-interval sets. For example, when T = {-3.2, -1, 7} and S = {-4, -3.2, -1, 0, 7, 9}. Hmm, or are these example sets considered to be "intervals" because they can be written as the union of intervals? --> T = [-3.2, -3.2] U [-1, -1] U [7, 7]. If they are considered to be intervals, then I don't know what wouldn't be considered an interval.
 
  • #4
4
0
This is true for any ordered set S. Just pick s'=s''=t
 

Related Threads on Subset Condititonal Question

Replies
11
Views
4K
  • Last Post
Replies
6
Views
17K
  • Last Post
Replies
10
Views
8K
  • Last Post
Replies
22
Views
53K
Replies
4
Views
3K
Replies
2
Views
2K
  • Last Post
Replies
0
Views
2K
  • Last Post
Replies
7
Views
5K
  • Last Post
Replies
18
Views
6K
  • Last Post
Replies
5
Views
1K
Top