Is the Set N Closed for Addition in English?

  • Thread starter johann1301
  • Start date
  • Tags
    Closed Set
In summary: If you don't have an actual definition, then it's impossible to prove it. Maybe they don't expect you to prove it but just to give some vague argument for why it could be true?
  • #1
johann1301
217
1
If you take two arbitrary numbers from a set N - let's say N stands for the natural numbers - and add them together, the sum will always be an element of N.

In my language, there is a word for this, but i don't know what it is in english? If i translate it from norwegian, it would be something like;

"The set N is closed for addition"

Is "closed" the correct word?
 
Physics news on Phys.org
  • #2
Yes, closed is the right word. Other word is stable.
 
  • #3
micromass said:
Other word is stable.

You mean "stable" is a synonym for "closed"? (in this mathematical context)
 
  • #4
johann1301 said:
You mean "stable" is a synonym for "closed"? (in this mathematical context)

Yes.
 
  • #5
Then i have a couple more questions...

I have heard that a set A is called a group if A is closed for both addition and subtraction, its called a ring if its altso closed for multiplication, and finally, its a body if its closed for them all(division as well).

Are the words "group", "ring" and "body" the correct english words to describe a set?
 
Last edited:
  • #6
johann1301 said:
Then i have a couple more questions...

I have heard that a set A is called a group if A is closed for both addition and subtraction, its called a ring if its altso closed for multiplication, and finally, its a body if its closed for them all(division as well).

Are the words "group", "ring" and "body" the correct english words to describe a set?

Group and ring are correct. A body is commonly used in many languages, but not english. In english it's called a field (or if you don't demand multiplication to be commutative; a division ring).
 
  • #7
Last question then... (i think)

I was given the problem to prove that the real numbers R is a field. The only way i can think of how to do this is by showing that √-1 does not show up in the calculation. Would this be a sufficient proof?
 
  • #8
johann1301 said:
Last question then... (i think)

I was given the problem to prove that the real numbers R is a field. The only way i can think of how to do this is by showing that √-1 does not show up in the calculation. Would this be a sufficient proof?

What would your definition of ##\mathbb{R}## be?
 
  • #9
I don't have a mathematical/algebraic definition, but i would say its any number, as long its not an imaginary number. Or at least the coefficient of i, would be zero; a+bi=a+0i=a+0=a.

it could be;

zero
pie
tau
√2
2
-3
e

but not i...
 
  • #10
micromass said:
What would your definition of ##\mathbb{R}## be?

There is a list of axioms used to describe a field. You then only need to show these axioms are satisfied.

EDIT :Sorry, this was supposed to be a reply to Johann about showing the Reals are a field.
 
Last edited:
  • #11
A linguistic tidbit: In English we usually say a set is closed under addition or subtraction or multiplication or what have you, and not closed for addition, etc.
 
  • Like
Likes 1 person
  • #12
johann1301 said:
I don't have a mathematical/algebraic definition,

If you don't have an actual definition, then it's impossible to prove it. Maybe they don't expect you to prove it but just to give some vague argument for why it could be true?
 
  • #13
johann1301 said:
I don't have a mathematical/algebraic definition, but i would say its any number, as long its not an imaginary number. Or at least the coefficient of i, would be zero; a+bi=a+0i=a+0=a.

it could be;

zero
pie
tau
√2
2
-3
e

but not i...
My favorite definition of ##\mathbb R## is of the form "a field such that..." I we use that definition, there's nothing to prove. There's a similar definition of ##\mathbb C##, I mean a definition that says that ##\mathbb C## is a field right at the start. This definition too makes the problem almost too easy. All you would have to do is to show that the sum and the product of two arbitrary real numbers is real. Everything else follows from the definitions that say that ##\mathbb R## is a subset of ##\mathbb C## and that ##\mathbb C## is a field.

The problem becomes much more interesting and difficult if you use one of the more explicit definitions of ##\mathbb R##, for example the Dedekind-cut definition, or the equivalence classes of Cauchy sequences definition.

I think you really need to find out what definition of ##\mathbb R## you're supposed to use.
 
  • #14
johann1301 said:
Last question then... (i think)

I was given the problem to prove that the real numbers R is a field. The only way i can think of how to do this is by showing that √-1 does not show up in the calculation. Would this be a sufficient proof?
No. Don't introduce complex numbers. That is extraneous. Instead, you can define the reals by their decimal representation. Then define addition, subtraction, multiplication, division by the usual algorithms. Prove that the definitions of a field are satisfied.
 
  • #15
FactChecker said:
No. Don't introduce complex numbers. That is extraneous. Instead, you can define the reals by their decimal representation. Then define addition, subtraction, multiplication, division by the usual algorithms. Prove that the definitions of a field are satisfied.

You're in for a world of pain if you're going to define the real numbers by their decimal representations. It's really not a fun proof at all.
 
  • #16
micromass said:
You're in for a world of pain if you're going to define the real numbers by their decimal representations. It's really not a fun proof at all.
I agree that it would be bad. But I can't think of another basic definition without defining it as the topological closure of rationals. And I think that would be a whole new can of worms. Are there any other options?

P.S. Even using the decimal representation, I don't know how to rigorously define addition of two numbers that require carrying digits from infinitely small ( like 5.555555... + 5.5555555...) So I guess I give up. Maybe the limits of rationals is the only rigorous way to do it.
 
  • #17
FactChecker said:
I agree that it would be bad. But I can't think of another basic definition without defining it as the topological closure of rationals. And I think that would be a whole new can of worms. Are there any other options?

No, you're right. There is no easy definition. The decimal representation definition is definitely the most "intuitive", but is very difficult to work with.

P.S. Even using the decimal representation, I don't know how to rigorously define addition of two numbers that require carrying digits from infinitely small ( like 5.555555... + 5.5555555...) So I guess I give up.

It must somehow be possible to define it. I have no idea how though. And additionally, you have this awkward problem that you must define 1 = 0.9999... for some reason to make everything work. This is quite annoying.
 
  • #18
micromass said:
It must somehow be possible to define it. I have no idea how though. And additionally, you have this awkward problem that you must define 1 = 0.9999... for some reason to make everything work. This is quite annoying.
I looked through my abstract algebra books and didn't see any that addressed this. I think it would require defining reals as limits of rationals. I see that your initial response, "What would your definition of R be?", got right to this issue. I didn't appreciate how crucial that was at the time.
 
  • #19
"R = The set of all real numbers, that is, all the numbers on the numberline."

This is the only definition which is given.

Im starting to think maybe this is the case:

micromass said:
Maybe they don't expect you to prove it but just to give some vague argument for why it could be true?

Due to what all of you are saying, it seems like a very complicated problem to solve. Way to difficult for a beginner in set-theory.
 
  • #20
(i think this thread might be more approriate i the homework section though, sorry about that)
 
  • #21
johann1301 said:
Way to difficult for a beginner in set-theory.

Definitely true if you want to do things rigorously which I don't think they expect of you.
 
  • #22
johann1301 said:
"R = The set of all real numbers, that is, all the numbers on the numberline."
If that's all you've been given, I think all you can do is to examine the field axioms and recognize them as statements that are satisfied by the real numbers.
 
  • #23
Depending on the basis of assumptions in your given problem, the solution is simply to verify the field axioms of the real numbers. E.g., if x and y are real numbers, then x+y is a real number. I doubt that whoever gave you the exercise meant that you needed to define real numbers first.
 
  • #24
Yes, one way to define the real numbers is as "the set of all equivalence classes of the set of all Cauchy sequences of rational numbers with two sequences, [itex]\{a_n\}[/itex] and [itex]\{b_n\}[/itex] equivalent if and only if [itex]\lim_{n\to\infty} |a_n- b_n|= 0[/itex]. Notice that the sequences {1, 1, 1, ...} and {0.9, 0.99, 0.999, ...} are in the same equivalence class.

Equivalently use the set of all "decreasing sequence of rational numbers having a lower bound" or the set of all "increasing sequences of rational numbers having an upper bound".
 

1. What is a closed set?

A closed set is a mathematical concept in which every limit point of the set is also a member of the set. This means that the set contains all of its boundary points.

2. How is a closed set different from an open set?

An open set is a set in which none of its boundary points are included in the set. In contrast, a closed set includes all of its boundary points.

3. Why is it important to distinguish between open and closed sets?

Determining whether a set is open or closed is important in topology and analysis, as it helps to define different types of functions and topological properties. It also allows for the classification of different types of sets.

4. Can a set be both open and closed?

Yes, a set can be both open and closed. This type of set is known as a clopen set, and it is only possible in certain topological spaces, such as discrete and indiscrete spaces.

5. What are some real-life examples of closed sets?

In real life, a closed set can be seen as a closed container, such as a sealed box or a closed jar. It can also be seen in closed systems, such as a thermos or a sealed greenhouse.

Similar threads

  • Set Theory, Logic, Probability, Statistics
Replies
20
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
3
Views
4K
  • Set Theory, Logic, Probability, Statistics
Replies
3
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
16
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
13
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
533
  • Set Theory, Logic, Probability, Statistics
Replies
5
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
27
Views
3K
Back
Top