I'm taking a class in abstract algebra this summer, so I thought I'd get ahead by reading the book before class starts.(adsbygoogle = window.adsbygoogle || []).push({});

This is from a book called "Abstract Algebra: A Geometric Approach", chapter 1:

Applying the Principle of Mathematical Induction with a slight modification.

If [tex]S' \subset \{n \in N:n\geq n_0\}[/tex] has these properties:

(1) [tex]n_0 \in S'[/tex]

(2) If [tex]k \in S'[/tex] then [tex]k+1 \in S'[/tex]

then [tex]S'=\{n \in N:n\geq n_0\}[/tex]

If we define [tex]S=\{m \in N:m+(n_0-1) \in S'\}[/tex], we see that [tex]1 \in S[/tex] and [tex]k \in S[/tex], which leads to [tex]k+1 \in S[/tex] , and so [tex]S=N[/tex].

Thus, [tex]S'=\{n \in N: n=n_0+(m-1)[/tex] for some [tex]m \in N\}=\{n \in N:n \geq n_0\}[/tex]

I'm not sure how to interpret all that. I know the sideways U means "subset", and the sideways U with a line means "is an element of". But does something like this [tex]\{n \in N:n\geq n_0\}[/tex] meannis an element ofNonly when [tex]n \geq n_0[/tex]?

What about this: [tex]S=\{m \in N:m+(n_0-1) \in S'\}[/tex]?

How do you interpret that?

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Set notation

Loading...

Similar Threads - notation | Date |
---|---|

I Diagonalization and change of basis | Jan 16, 2018 |

I Basic Notation for Field Extensions ... | Apr 10, 2017 |

I Notation N(H) for a subgroup | Oct 28, 2016 |

B Bracket notation problem | Oct 14, 2016 |

**Physics Forums - The Fusion of Science and Community**