Interesting mathematical statements (3 Viewers)

glittergal96

Active Member
Joined
Jul 25, 2014
Messages
418
Gender
Female
HSC
2014
Being continuous is a property that says that a function is in some sense "nice" near a point.

Being differentiable is also a "niceness" property at a point. In fact it is a much stronger property, in the sense that differentiability at a point implies continuity at a point.

It is clearly possible to find functions that are continuous but not everywhere differentiable (absolute value function fails to be differentiable at 0).

What is surprising (well, I find it surprising, and the discovery went against the beliefs at the time) is that there exist a function that is continuous everywhere and differentiable nowhere! : https://en.wikipedia.org/wiki/Weierstrass_function

In fact, in a certain sense, MOST continuous functions are differentiable nowhere!
 

Paradoxica

-insert title here-
Joined
Jun 19, 2014
Messages
2,556
Location
Outside reality
Gender
Male
HSC
2016
Being continuous is a property that says that a function is in some sense "nice" near a point.

Being differentiable is also a "niceness" property at a point. In fact it is a much stronger property, in the sense that differentiability at a point implies continuity at a point.

It is clearly possible to find functions that are continuous but not everywhere differentiable (absolute value function fails to be differentiable at 0).

What is surprising (well, I find it surprising, and the discovery went against the beliefs at the time) is that there exist a function that is continuous everywhere and differentiable nowhere! : https://en.wikipedia.org/wiki/Weierstrass_function

In fact, in a certain sense, MOST continuous functions are differentiable nowhere!
The concepts presented by uncountable nouns break down when applied to infinite sets. One must tread carefully and avoid fallacious conclusions when dealing with infinity. Remember to discern between uncountable and countable infinities.

Speaking of which, there is a one-to-one correspondence between the integers and the rationals. There are more transcendental numbers than algebraic numbers. And the set of all real numbers is exactly as big as the set of complex numbers.
 

glittergal96

Active Member
Joined
Jul 25, 2014
Messages
418
Gender
Female
HSC
2014
The concepts presented by uncountable nouns break down when applied to infinite sets. One must tread carefully and avoid fallacious conclusions when dealing with infinity. Remember to discern between uncountable and countable infinities.

Speaking of which, there is a one-to-one correspondence between the integers and the rationals. There are more transcendental numbers than algebraic numbers. And the set of all real numbers is exactly as big as the set of complex numbers.
I know lol, why are you reminding me?

In any case, none of the objects I mentioned is countably infinite.
 

InteGrand

Well-Known Member
Joined
Dec 11, 2014
Messages
6,109
Gender
Male
HSC
N/A
I know lol, why are you reminding me?

In any case, none of the objects I mentioned is countably infinite.
I don't think he was reminding you of those facts (countability of the rationals etc.); rather, I think he was adding them in as more 'interesting statements' for this thread. Or maybe you were referring to his first paragraph haha. Not sure in that case why (if at all that was his purpose) he was reminding you, maybe again just general statements for this thread.
 

glittergal96

Active Member
Joined
Jul 25, 2014
Messages
418
Gender
Female
HSC
2014
I more meant that countability is kind of an irrelevant notion to the thing I mentioned so it seemed weird to bring it up as a reply to my post.

(And yeah, meant first para. Second para is good for this thread :). Countability is such a nice and low-tech example of higher maths to show HS students.)
 

InteGrand

Well-Known Member
Joined
Dec 11, 2014
Messages
6,109
Gender
Male
HSC
N/A
I more meant that countability is kind of an irrelevant notion to the thing I mentioned so it seemed weird to bring it up as a reply to my post.

(And yeah, meant first para. Second para is good for this thread :). Countability is such a nice and low-tech example of higher maths to show HS students.)
My guess is his countability statements came from when you said "most" functions.
 

glittergal96

Active Member
Joined
Jul 25, 2014
Messages
418
Gender
Female
HSC
2014
My guess is his countability statements came from when you said "most" functions.
It's still unrelated to countability though. "Most" meant almost all with respect to a certain measure. Both the set and it's complement are still uncountable.
 
Last edited:

braintic

Well-Known Member
Joined
Jan 20, 2011
Messages
2,137
Gender
Undisclosed
HSC
N/A
Proof using base arithmetic that Christmas is a pagan festival:

OCT 31 = DEC 25
 

InteGrand

Well-Known Member
Joined
Dec 11, 2014
Messages
6,109
Gender
Male
HSC
N/A
It's still unrelated to countability though. "Most" meant almost all with respect to a certain measure. Both the set and it's complement are still uncountable.
Yeah lol I meant that I thought that he started talking about uncountability because of this, and once he started talking about uncountability, he mentioned countability too.
 

Paradoxica

-insert title here-
Joined
Jun 19, 2014
Messages
2,556
Location
Outside reality
Gender
Male
HSC
2016
Yeah lol I meant that I thought that he started talking about uncountability because of this, and once he started talking about uncountability, he mentioned countability too.
My first statement was a comment on linguistic technicality. After that I went on a rant.
You can't apply the concept of "most", "some", etc. to infinite sets. Linguistically nonsensical.
 

glittergal96

Active Member
Joined
Jul 25, 2014
Messages
418
Gender
Female
HSC
2014
My first statement was a comment on linguistic technicality. After that I went on a rant.
You can't apply the concept of "most", "some", etc. to infinite sets. Linguistically nonsensical.
Ah okay cool. Yeah, of course using words like "most" is vague and imprecise. Talking about measure theory will go over most high schoolers heads though, so waving hands and being a bit colloquial in this thread seems more appropriate.
 

InteGrand

Well-Known Member
Joined
Dec 11, 2014
Messages
6,109
Gender
Male
HSC
N/A
My first statement was a comment on linguistic technicality. After that I went on a rant.
You can't apply the concept of "most", "some", etc. to infinite sets. Linguistically nonsensical.
Yeah this is what I thought you meant when I searched up 'uncountable noun' (the use of 'uncountable' here is unrelated to uncountability of sets so it confused me initially since I was thinking of the mathematical 'uncountable').
 
Last edited:

glittergal96

Active Member
Joined
Jul 25, 2014
Messages
418
Gender
Female
HSC
2014
I have always found fixed point theorems quite pretty.

Probably the most well-known one is the Brouwer fixed point theorem. One version of this states that if you have a continuous function f from a closed n-ball (eg the set of points of distance =< 1 from the origin in n-dimensional Euclidean space) to itself, then this function must have a fixed point, which is an x such that f(x)=x.

So in one dimension, this says that a continuous function f defined on the interval [0,1] that takes values in [0,1] must have a fixed point. (The 1-d version can be proved at high school level, try it!)

Fixed point theorems can have some pretty whack consequences. Eg, if I am in Russia and I put a map of Russia on a table, there will be a point on this map that lies directly above the actual physical spot in Russia that it represents.

They are also quite useful in abstract mathematics, for things like showing non-constructively that a certain equation/system of equations has a solution.
 
Last edited:

Users Who Are Viewing This Thread (Users: 0, Guests: 3)

Top