May 8th, 2017, 06:37 PM  #1  
Member Joined: Dec 2016 From: United States Posts: 53 Thanks: 3 Math Focus: Abstract Simulations  If you remove the decimal from [ 0  1 ) what does that set match? Quote:
I have to be honest. I don't know what a lot of your symbols mean. But I guess that N and the U shape opened to the right means that N is a subset or is in the set of Sigma*. Then yes. I agree. // oh look at that, if I actually read what I copied and pasted I'd know it said "subset" $\{ f( \,x) \, : x \in [ \,0, 1) \, \land x \text{ is a nonterminating decimal} \} \subset \sum^{\omega}$ This looks like it's applying the function to the set and that $\land$ thing must be an "if condition" of some sort filtering the set and defining what's left as $\sum^{\omega}$ So yeah. I agree  
May 8th, 2017, 07:01 PM  #2 
Math Team Joined: Dec 2013 From: Colombia Posts: 7,142 Thanks: 2382 Math Focus: Mainly analysis and algebra 
The caret is "and". Personally, I think it's better to write words than colons, carets and similar.

May 8th, 2017, 08:40 PM  #3  
Senior Member Joined: Jun 2014 From: USA Posts: 320 Thanks: 23  Quote:
Quote:
In English, $\{ f(x) : x \in [ \,0,1) \, \land x \text{ is a nonterminating decimal} \} \subset \sum^{\omega}$ means “(the set of all $f(x)$ such that x is in [0, 1) and x is a nonterminating decimal) is a subset of (the set of all infinite sequences over the alphabet $\sum$).” Since that is a mouthful, we can refer to this set as $A$ so long as we define it as such: Let $A = \{ f(x) : x \in [ \,0,1) \, \land x \text{ is a nonterminating decimal} \}$ (now, going forward in our proof, we can simply refer to the set $A$). The purpose of this was to allow you to formalize what you meant by the term “infinite integer.” Namely, the infinite integers are a precisely defined subset of $\sum^{\omega}$, so you can now refer to the elements of $A$ as infinite integers if you like, and people will understand precisely what you mean: Let the set of all infinite integers $= A = \{ f(x) : x \in [ \,0,1) \, \land x \text{ is a nonterminating decimal} \}$. So now, you have that $\mathbb{N} \subset \sum^*$ and $A \subset \sum^{\omega}$. It is your selfproclaimed goal to disprove Cantor’s Theorem, so formally, if you can find a surjective mapping from $\mathbb{N}$ onto $A$, then you would be successful. This is because you've already shown that the cardinality of $A$ is equal to the cardinality of [0,1) in the previous thread.  
May 8th, 2017, 09:34 PM  #4 
Member Joined: Dec 2016 From: United States Posts: 53 Thanks: 3 Math Focus: Abstract Simulations 
I guess they aren't countable because there's not a logical way to sequence them. That's interesting, because the real number set is uncountable for an entirely different reason. One's about reach, the other, description... Well, I guess you could get a description for them, but it would be continuous and rational so not like natural numbers. I'm not sure it would be classified a number if it's counted with a description. You seem to really know what you're talking about. I recently got hit with an idea that I just want to get a taste of. I'm clearly not educated in mathematics. I scrap things together for some web development. I'm really interested in some things. That's why I'm here. Can I PM you some exotic questions? Last edited by InkSprite; May 8th, 2017 at 09:57 PM. 
May 8th, 2017, 11:00 PM  #5 
Senior Member Joined: May 2016 From: USA Posts: 889 Thanks: 357 
You seem to enjoy thinking, which means your questions are interesting. We imagine the real numbers in the interval [0, 1). Numbers do not have decimal points. What do have decimal points are numerals in the decimal system of numeric representation when representing numbers that are not integers. I can in fact represent numbers in that interval without using a decimal point. Examples $\dfrac{1}{2}$, or $\sqrt{\dfrac{3}{4}}$ or $\pi  3.$ Now let us think of infinite strings in the form $0.x_1x_2... \text { where } x_i \in \{0,\ 1,\ 2,\ 3,\ 4,\ 5,\ 6,\ 7,\ 8,\ 9\}.$ Then think of the infinite strings in the form $x_1x_2...$ Is it not easily demonstrable that those two sets can be placed in 1to1 correspondence and so have the same number of elements? Zylo's whole thing about removing the decimal point is (bad joke coming) pointless. 
May 9th, 2017, 01:34 AM  #6 
Senior Member Joined: Feb 2016 From: Australia Posts: 1,511 Thanks: 505 Math Focus: Yet to find out. 
What is all the fuss about Cantor's diagonal argument exactly? Not only here do I see plenty of attempts to refute it, but elsewhere too. I have not studied the ideas formally or informally (hence the ignorance in what follows), but I have to ask... Is it simply the nature of the topic that allows for very subtle changes in usage of language that produce misconstrued definitions and results? Thus, poor interpretations by those lacking rigor. Because that's what it always seems like, a back and forth of "what do you mean by this". Or is there actually some funny business going on... i.e., some unfinished business left by Cantor. Exotic eh. That's hilarious. Last edited by skipjack; May 9th, 2017 at 02:33 AM. 
May 9th, 2017, 03:40 AM  #7 
Member Joined: Dec 2016 From: United States Posts: 53 Thanks: 3 Math Focus: Abstract Simulations 
I think I can prove $A$ is just as large as real numbers.

May 9th, 2017, 06:57 AM  #8 
Senior Member Joined: Jun 2014 From: USA Posts: 320 Thanks: 23  
May 9th, 2017, 07:10 AM  #9  
Senior Member Joined: Jun 2014 From: USA Posts: 320 Thanks: 23  Quote:
I don't mind you asking questions I suppose, but I fear that asking only me would preclude you from obtaining the benefit of the otherwise bountiful amount of knowledge here. I think you'll find that people are very open to any type of mathematical questions here, no matter how "exotic" they might seem to you.  
May 9th, 2017, 07:27 AM  #10  
Member Joined: Dec 2016 From: United States Posts: 53 Thanks: 3 Math Focus: Abstract Simulations  Quote:
I'm really glad this place exists.  

Tags 
decimal, match, remove, set 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Match the Parabola  HellBunny  Algebra  2  March 21st, 2012 10:33 AM 
Decimal To Fraction To Decimal  demipaul  Linear Algebra  2  November 19th, 2009 06:42 AM 