# Set builder notation

• May 8th 2010, 01:23 PM
novice
Set builder notation
In the beginning part of my book. There was a solution which says:

Given a set of negative integers, $S$
, where $S \subset \mathbb{Z}^-$, we can build a set $T$ of positive numbers by a set builder notation such as

$T=\{x \in Z: -x \in S\}$.

Question:

Since
$x$ is only a dummy variable, I am wondering whether it's possible at all to built the set $T$ with $S \subset \mathbb{N}$?

• May 8th 2010, 02:53 PM
gmatt
Quote:

Originally Posted by novice
In the beginning part of my book. There was a solution which says:

Given a set of negative integers, $S$
, where $S \subset \mathbb{Z}^-$, we can build a set $T$ of positive numbers by a set builder notation such as

$T=\{x \in Z: -x \in S\}$.

Question:

Since
$x$ is only a dummy variable, I am wondering whether it's possible at all to built the set $T$ with $S \subset \mathbb{N}$?

You can, but then T would be a subset of the negative integers.
• May 8th 2010, 03:04 PM
Plato
Quote:

Originally Posted by gmatt
You can, but then T would be a subset of the negative integers.

Did you notice that $S$ is a subset of negative integers?
That means what about $T$?
• May 8th 2010, 04:08 PM
novice
Quote:

Originally Posted by Plato
Did you notice that $S$ is a subset of negative integers?
That means what about $T$?

I found that set notations can be very tricky. I have many dumb questions. Apparently, they also teach me the most. It made me think.

I am thinking: Since elements of $S$ are negative, where $S \subset \mathbb{Z}^-$, and that $-x\in S$, then $x$ ought to be positive, i.e. $x>0$, so $T=\{x\in Z: x>0\}$.

I contemplated about the question you asked--and of course, the poster immediately before you too helped me think. So, I wrote on a piece of paper

If $S\not= \emptyset$ and $S \subset \mathbb{N}$, then the elements of $S$ cannot be negative, despite $T$ being defined as

$T=\{x\in \mathbb{Z}: -x\in S\}$. Since

$-x >0$, it has to be nothing else but $x<0$,

so $T=\{x\in \mathbb{Z}: x<0\}$ as gmatt said.

I am a little too slow, but I will have another 70 years (I meant 70 more years) to learn.:D

Thanks to both of you.
• May 8th 2010, 04:20 PM
gmatt
Quote:

Originally Posted by Plato
Did you notice that $S$ is a subset of negative integers?
That means what about $T$?

I'm not exactly sure what you mean, if $S \subset \mathbb{N}$ then it can't be a subset of the negative integers. I assumed what the OP meant was that he was switching the meaning of $S$, not adding another condition onto it ( since trivially if $S \subset \mathbb{N}$ and $S \subset \mathbb{Z}^-$ then $S = \emptyset$)
• May 8th 2010, 04:22 PM
gmatt
Quote:

Originally Posted by novice
I found that set notations can be very tricky. I have many dumb questions. Apparently, they also teach me the most. It made me think.

I am thinking: Since elements of $S$ are negative, where $S \subset \mathbb{Z}^-$, and that $-x\in S$, then $x$ ought to be positive, i.e. $x>0$, so $T=\{x\in Z: x>0\}$.

I contemplated about the question you asked--and of course, the poster immediately before you too helped me think. So, I wrote on a piece of paper

If $S\not= \emptyset$ and $S \subset \mathbb{N}$, then the elements of $S$ cannot be negative, despite $T$ being defined as

$T=\{x\in \mathbb{Z}: -x\in S\}$. Since

$-x >0$, it has to be nothing else but $x<0$,

so $T=\{x\in \mathbb{Z}: x<0\}$ as gmatt said.

I am a little too slow, but I will have another 70 years to learn.:D

Thanks to both of you.

Well to be clear, if $S \subset \mathbb{N}$ then $T$ are all the elements of $S$ negated...

i.e.
if
$S = \{ s_1, s_2, ... \} \subset \mathbb{N}$

then

$T = \{ -s_1, -s_2, ... \} \subset \mathbb{Z}^-$
• May 8th 2010, 04:27 PM
Plato
Quote:

Originally Posted by gmatt
I'm not exactly sure what you mean, if $S \subset \mathbb{N}$ then it can't be a subset of the negative integers.

Quote:

Originally Posted by novice
Given a set of negative integers, $S$, where $S \subset \mathbb{Z}^-$, we can build a set $T$ of positive numbers by a set builder notation such as
$T=\{x \in Z: -x \in S\}$

Did you bother to read the OP?
It clearly states that $S$ is a set of negative integers.
• May 8th 2010, 04:29 PM
novice
Quote:

Originally Posted by gmatt
I'm not exactly sure what you mean, if $S \subset \mathbb{N}$ then it can't be a subset of the negative integers. I assumed what the OP meant was that he was switching the meaning of $S$, not adding another condition onto it ( since trivially if $S \subset \mathbb{N}$ and $S \subset \mathbb{Z}^-$ then $S = \emptyset$)

Sorry, I didn't mean to confuse anyone. I had one thing and I asked myself a question by switching $S\subset \mathbb{Z}^-$ to $S\subset \mathbb{Z}^+$. Experimenting with things by taking off the head and tail, and putting tail where the head was and head where the tail was and see what shape I would get. I am groping like a blind man.:D
• May 8th 2010, 04:37 PM
novice
Quote:

Originally Posted by Plato
Did you bother to read the OP?
It clearly states that $S$ is a set of negative integers.

Sorry, sir, I wasn't ignoring your question. I realized that I have confused you. I should have made it more clear that I was switching things around for experiment.

While I was switching things around, I confused myself and then asked question, but I have learned quite a bit though.

If there is any consolation, you do help me learn.
• May 8th 2010, 05:08 PM
gmatt
Quote:

Originally Posted by novice
Sorry, sir, I wasn't ignoring your question. I realized that I have confused you. I should have made it more clear that I was switching things around for experiment.

While I was switching things around, I confused myself and then asked question, but I have learned quite a bit though.

If there is any consolation, you do help me learn.

Yes, that is the way I interpreted things, I think Plato might not have realized that the first part of your post was a statement and the later part of it was the question.