MHB Can we take limits to infinity in finite sets of $\Bbb{N}$?

AI Thread Summary
In the discussion, participants explore whether limits can be taken to infinity within finite sets of natural numbers, concluding that this concept does not apply to finite sets. They provide examples of infinite subsets of natural numbers, such as even numbers (2ℕ) and odd numbers (2ℕ + 1). Additionally, the set of prime numbers is mentioned as another example of an infinite subset. The conversation emphasizes the distinction between finite and infinite sets in the context of limits. Overall, the topic centers on the properties of finite versus infinite sets in relation to limits.
ozkan12
Messages
145
Reaction score
0
İn a finite set, can we take limit to $\infty$ ?

Also, can you give an example related to infinite subset of $\Bbb{N}$ ?
 
Physics news on Phys.org
ozkan12 said:
İn a finite set, can we take limit to $\infty$ ?

Also, can you give an example related to infinite subset of $\Bbb{N}$ ?

The first question is not clear. For the second one, $2 \Bbb{N}$ which constitutes even integers is a an infinite subset.
 
Dear ZaidAlyafey,

Thank you for your attention...For second question odd numbers can be an example...İs there any examples anything else 2N and 2N+1
 
ozkan12 said:
Dear ZaidAlyafey,

Thank you for your attention...For second question odd numbers can be an example...İs there any examples anything else 2N and 2N+1

Yes. For example, the set of prime numbers is infinite. More generally, any sequence $\{a_i\}^{\infty}_1$ where $a_i \in \mathbb{N}$ is an infinite subset of natural numbers.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Back
Top