Challenge Math Challenge - June 2023

Infrared
Science Advisor
Gold Member
Messages
1,084
Reaction score
658
Welcome to the reinstatement of the monthly math challenge threads!

Rules:
1. You may use google to look for anything except the actual problems themselves (or very close relatives).
2. Do not cite theorems that trivialize the problem you're solving.
3. Have fun!

1. (solved by @Throwaway_for_June ) Given a rectangle and a triangle in the plane, describe how to construct a line that cuts both in half by area using a compass and straightedge. [Edit: This is a lot more annoying than I intended. Feel free to ignore this problem, but if you do solve of course post it!]

2. (Main problem solved by @fresh_42 and @mathwonk . Counterexample given by @pasmith ) For a function ##f:\mathbb{R}\to\mathbb{R}## define ##P(f)=\{T\in\mathbb{R}: f(x+T)=f(x) \text{ for all } x\in\mathbb{R}\}##. Note that ##f## is periodic if and only if ##P(f)## contains a nonzero element. If ##f## is continuous and not constant, show that ##P(f)=\{nT:n\in\mathbb{Z}\}## for some real number ##T.## Give a counterexample when ##f## is not continuous.

3. (solved by @julian) Show that ##\sqrt{5}+\sqrt[3]{7}+\sqrt[5]{3}## is irrational.

4. (solved by @projective) Suppose that ##G## is a group of order ##63## with normal subgroups of order ##7## and ##9##. Show that ##G## is abelian.

5. (solved by @martinbn) Let ##\zeta=e^{2\pi i/n}=\cos(2\pi/n)+i\sin(2\pi/n).## Evaluate the product ##(1-\zeta)(1-\zeta^2)...(1-\zeta^{n-1}).##

6. (solved by @PeroK) A rook starts on the square a1 on an otherwise empty chessboard. Every turn, the rook makes a legal move uniformly at random. What is the expected number of turns it will take it for it to reach the opposite corner h8? Staying on the same square does not count as a turn.

7. (solved by @fresh_42) Let ##GL_n^+(\mathbb{R})## be the set of invertible ##n\times n## real matrices with positive determinant. Suppose that ##A## and ##B## are elements of ##GL_n^+(\mathbb{R})## and similar in the sense that ##A=PBP^{-1}## for some ##P\in GL_n(\mathbb{R})##. Can you necessarily find a matrix ##Q\in GL_n^+(\mathbb{R})## such that ##A=QBQ^{-1}?## In other words, if two matrices in ##GL_n^+(\mathbb{R})## are conjugate as elements of ##GL_n(\mathbb{R})##, are they also conjugate as elements of ##GL_n^+(\mathbb{R})?##

8. (solved by @nuuskur) Let ##\mathcal{F}## be a collection of subsets of ##\mathbb{N}## which is totally ordered by inclusion, i.e. for any ##A,B\in\mathcal{F}##, either ##A\subseteq B## or ##B\subseteq A.## Is it possible for ##\mathcal{F}## to be uncountable?

9. (solved by @mathwonk) Identify ##S^3## with ##\{(z,w)\in\mathbb{C}^2: |z|^2+|w|^2=1\}.## Consider the projection map ##\pi:S^3\to\mathbb{C}P^1, \pi(z,w)=[z:w]##. This is called the Hopf map. Compute explicitly the preimages of ##[1:0]## and ##[0:1]## as subsets of ##S^3## and verify that they are linked circles.

10. (solved by @mathwonk) Suppose ##A## and ##B## are disjoint (thanks @mfb !) subsets of ##[0,1]^2## such that ##(0,0)## and ##(1,1)## are elements of ##A## and ##(0,1)## and ##(1,0)## are elements of ##B.## Which of the following are possible?

1) ##A## and ##B## are both connected.

2) ##A## and ##B## are both path-connected.

3) ##A## is path-connected and ##B## is connected.
 
Last edited:
  • Like
  • Love
Likes PeroK, nuuskur, Greg Bernhardt and 4 others
Physics news on Phys.org
Yes! Let us launch the ball rolling, our mathematicians, physicists, and co.
 
6) (fixed mistake)
at any position in the board, a rook has 14 squares it can legally reach

cannot reach H8 on turn 1.
with each turn after the first the odds of not getting H8 are
6/7 (not in H or 8 so cant reach)
+
(1/7)(13/14) (in H or 8 but dont reach H8)
=97/98

Solving for (1-97/98)=0.5 gives 194 moves, add one move for the first so

195 moves
 
Last edited:
Is 10 missing a condition that ##A \cap B = \emptyset##?

@BWV: That can't be right.
Due to symmetry, there are 49 equivalent fields. You expect all of them to be reached in an average of 6.25 moves?

Where do you get that 6/7 chance from? After the first move: Sure. But later? Check the 1/7, too.
 
mfb said:
Is 10 missing a condition that ##A \cap B = \emptyset##?

@BWV: That can't be right.
Due to symmetry, there are 49 equivalent fields.
I think the 6/7 is right but the 1/7 part was wrong, updated my answer above
 
Infrared said:
5. Let ##\zeta=e^{2\pi i/n}=\cos(2\pi/n)+i\sin(2\pi/n).## Evaluate the product ##(1-\zeta)(1-\zeta^2)...(1-\zeta^{n-1}).##
##(x-1)(x-\zeta)(x-\zeta^2)\dots(x-\zeta^{n-1})## is a polynomial of degree ##n## and has roots all the ##n##-th roots of unity, so it is equal to ##x^n-1##. Then

##(x-\zeta)(x-\zeta^2)\dots(x-\zeta^{n-1})=\frac{x^n-1}{x-1}=1+x+\cdots+x^{n-1}##, then

##(1-\zeta)(1-\zeta^2)\dots(1-\zeta^{n-1})=1+1+\cdots+1^{n-1}=n##.
 
  • Like
Likes julian, Infrared and malawi_glenn
@martinbn you beat me to it. Isn't it a problem to have x=1 in that (x^n-1)/(x-1) step though
 
@BWV That doesn't look right to me. I agree that the probability of not reaching h8 next is 1 when you're not on h or 8 and that the probability of not reaching h8 next is 13/14 when you are, but I don't agree that there is a ##6/7## probability you're neither on the h file nor 8th rank at some random point in the future.

I'm also don't understand exactly what you're equating to ##1/2## and why it would give an expected value.

Edit: I think you meant to write ##1-(97/98)^n=1/2## (you forgot to write the exponent). This would be how to solve the the median number of moves (half of the time it will take longer, half of the time it will take shorter), but that's not the same thing as expected value.

Edit2: One other subtle error. Even if the probability of not getting to h8 next move is ##p##, these are not independent events, so you can't multiply them like this. If I'm on the h file, then I'm more likely to be on the h file next turn.
 
Last edited:
martinbn said:
##(x-1)(x-\zeta)(x-\zeta^2)\dots(x-\zeta^{n-1})## is a polynomial of degree ##n## and has roots all the ##n##-th roots of unity, so it is equal to ##x^n-1##. Then

##(x-\zeta)(x-\zeta^2)\dots(x-\zeta^{n-1})=\frac{x^n-1}{x-1}=1+x+\cdots+x^{n-1}##, then

##(1-\zeta)(1-\zeta^2)\dots(1-\zeta^{n-1})=1+1+\cdots+1^{n-1}=n##.
Yep, this is totally correct! One very tiny nitpick is that your polynomial being monic is the reason why you can equate it to ##x^n-1## and not some multiple of it.
 
  • Like
Likes martinbn and malawi_glenn
  • #10
malawi_glenn said:
@martinbnIsn't it a problem to have x=1 in that (x^n-1)/(x-1) step though

If you have two continuous functions which are equal everywhere except at ##x=1##, they're also equal at ##x=1## :)
 
  • Like
Likes malawi_glenn
  • #11
Infrared said:
If you have two continuous functions which are equal everywhere except at ##x=1##, they're also equal at ##x=1## :)
Yeah that is true, I had some doubt in my own work regarding this problem. Will move on to number 4 now...
 
  • #12
malawi_glenn said:
@martinbn you beat me to it. Isn't it a problem to have x=1 in that (x^n-1)/(x-1) step though
I am not using that. This is the middle term in the two equalities. Just equate the most left and the most right and plug in that.
 
  • #13
L'Hôpital's rule states that for functions ##f## and ##g## which are differentiable on an open interval ##I## except possibly at a point ##c## contained in ##I##, if ##\lim_{x \rightarrow c} f (x) = \lim_{x \rightarrow c} g (x) = 0## or ##\pm \infty##, and ##g' (x) \not= 0## for all ##x \in I## with ##x \not= c##, and ##\lim_{x \rightarrow c} \dfrac{f' (x)}{g'(x)}## exists, then

\begin{align*}
\lim_{x \rightarrow c} \dfrac{f(x)}{g(x)} = \lim_{x \rightarrow c} \dfrac{f'(x)}{g'(x)} .
\end{align*}

The differentiation of the numerator and denominator often simplifies the quotient or converts it to a limit that can be evaluated directly.

Using this,

\begin{align*}
\lim_{x \rightarrow 1} \dfrac{x^n-1}{x-1} = \lim_{x \rightarrow 1} \dfrac{n x^{n-1}}{1} = n .
\end{align*}
 
  • #14
You don't need L'Hôpital, you can just factor (x-1) in the numerator.
 
  • #15
dextercioby said:
You don't need L'Hôpital, you can just factor (x-1) in the numerator.
I was adding to the discussion of posts #7 and #10.
 
  • #16
I understand, I've just told you that bringing l'Hôpital's rule into evaluation of that limit is overkill, i.e. not necessary. You can simply evaluate the limit by factoring the denominator into the numerator.
 
  • #17
@Infrared Sticking to tradition it is "5. (solved by @martinbn ) Let ##\zeta = e^{2 \pi i /n} =\cdots## ". :smile:
 
Last edited:
  • Love
  • Like
Likes Infrared and malawi_glenn
  • #18
Perhaps its just me who is bothered with ##\frac{x^n-1}{x-1}## (not defined for ##x=1##) and then evaulating something at ##x=1## because I always nag about this with my students xD

##p(x) = (x-\zeta)(x-\zeta^2)\cdots (x-\zeta^{n-1})(x-\zeta^n) = (x-\zeta)(x-\zeta^2)\cdots (x-\zeta^{n-1})(x-1) = x^n-1## because the polynomial has all roots of unity and has leading coefficnet equal to 1.
Since 1 is a root to ##x^n-1## we can factor out ##x-1## which yields ##x^n-1 = (x-1)(x^{n-1} + \ldots + x + 1)##. This is true because ##(x-1)(x^{n-1} +x^{n-2} + \ldots + x + 1) = x^n +x^{n-1} + \ldots + x^2 + x - (x^{n-1} +x^{n-2} + \ldots + x + 1) = x^n - 1##.
Now, since we have a polynomial equation ##p(x) = (x-\zeta)(x-\zeta^2)\cdots (x-\zeta^{n-1})(x-1) = x^n-1 = (x-1)(x^{n-1} +x^{n-2} + \ldots + x + 1) = (x-1)q(x)## we must have ##q(x) = (x-\zeta)(x-\zeta^2)\cdots (x-\zeta^{n-1}) = x^{n-1} +x^{n-2} + \ldots + x + 1##.
We can evaulate ##q(1) = (1-\zeta)(1-\zeta^2)\cdots (1-\zeta^{n-1}) = 1^{n-1} +1^{n-2} + \ldots + 1 + 1 = n .##
 
Last edited:
  • #19
@malawi_glenn
This

##(x-\zeta)(x-\zeta^2)\dots(x-\zeta^{n-1})=\frac{x^n-1}{x-1}=1+x+\cdots+x^{n-1}##

contains this

##(x-\zeta)(x-\zeta^2)\dots(x-\zeta^{n-1})=1+x+\cdots+x^{n-1}##

Now, plug in.
 
  • #20
My problem is division with something that is potentially equal to zero.
 
  • #21
malawi_glenn said:
My problem is division with something that is potentially equal to zero.

If you agree that ##1+x+\ldots+x^{n-1}=(x-\zeta)\ldots(x-\zeta^{n-1})## for all ##x\neq 1##, then they must also be equal at ##x=1## since both sides are continuous (see my post 10)

Alternatively, you can just check that ##\zeta^k## for ##1\leq k<n## is a root of the lefthand side using the identity ##(1-x^n)/(1-x)=1+x+\ldots+x^{n-1}## for ##x\neq 1## and hence it must factor like this.
 
  • #22
Infrared said:
If you agree that ##1+x+\ldots+x^{n-1}=(x-\zeta)\ldots(x-\zeta^{n-1})## for all ##x\neq 1##, then they must also be equal at ##x=1## since both sides are continuous (see my post 10)

Alternatively, you can just check that ##\zeta^k## for ##1\leq k<n## is a root of the lefthand side using the identity ##(1-x^n)/(1-x)=1+x+\ldots+x^{n-1}## for ##x\neq 1## and hence it must factor like this.
I know, but as mentioned, I always nag about this with ny students. I tell them to factorize instead of dividing
 
  • #23
Solution for number 6. I'm only no my phone, so typing a lot is difficult.

The rook needs to get to either row 8 or column h, then hit h8 from there. The probability of getting to either row 8 or column h is the same from any other square. And the probability of hitting h8 is the same from any square on either row 8 or column h.

The upshot is that there are only two expected values: ##E(x)## is the expected value from a1 ( or any square not on row 8 or column h) and ##E(1)## is the expected value from column 8 or row h.

We can use the recursive relations:
$$E(x)= 1 + \frac 6 7 E(x) + \frac 1 7 E(1)$$To give$$E(x) = 7 + E(1)$$Which also makes sense binomially! And
$$E(1) = \frac 1 {14} + 1 + \frac 3 7 E(1) + \frac 1 2 E(x)$$To give$$8E(1) = 15 + 7E(x)$$Solving these gives$$E(x) = 71, \ E(1) = 64$$PS in general, for an ##n \times n## board, we have$$E(1) = n^2, E(x) = n^2 +n -1$$
 
Last edited:
  • Like
Likes Infrared and malawi_glenn
  • #24
@PeroK Very nice! Just one small error: In your expression ##E(1)=1+\frac{1}{14}+\frac{3}{7}E(1)+\frac{1}{2}E(x),## the last three terms should be the weighted expected value of moves to get to h8 after making the current move (since you already added the ##+1##), which means that the ##\frac{1}{14}## should be multiplying ##0##, not ##1.## Deleting the ##\frac{1}{14}## from this equation makes your solution ##(E(x),E(1))=(70,63)## instead of ##(71,64).##
 
  • #25
Something about that ##\frac 1 {14}## didn't feel right! But, I couldn't see what.
 
  • #26
My friend, who is non-mathematical, said that the 64 (or 63) couldn't be a coincidence.

The rook will land on each square equally often, hence the expected number of moves to get back to its starting square is 64. After one move, when it is on the correct row or column, it must take an expected 63 moves to get back from there. That's ##E(1)##!

PS that would have been an insightful opening gambit!
 
Last edited:
  • #27
(2): For the noncontinuous case, <br /> f : \mathbb{R} \to \mathbb{R} : x \mapsto \begin{cases} 1 &amp; x \in \mathbb{Q} \\ 0 &amp; x \notin \mathbb{Q} \end{cases} has P(f) \supset \mathbb{Q} by closure of \mathbb{Q} under addition. If t \notin \mathbb{Q} then f(-t +t) = f(0) = 1 \neq 0 = f(-t) and t \notin P(f). Hence P(f) = \mathbb{Q} which is not of the form T\mathbb{Z} for any T \in \mathbb{R}.
 
  • #28
hint/warning for #1: It seems that a line bisects a rectangle by area iff it passes through the centroid, but this is not true for triangles. Apparently the lines bisecting a general triangle form an "envelope". So it seems you have to discern which line through the centroid of the rectangle also belongs to this envelope. ?? interesting problem. I woud guess you have a chance iff this envelope is defined by (lines tangent to) arcs of circles.
 
  • #29
mathwonk said:
hint/warning for #1: It seems that a line bisects a rectangle by area iff it passes through the centroid, but this is not true for triangles. Apparently the lines bisecting a general triangle form an "envelope". So it seems you have to discern which line through the centroid of the rectangle also belongs to this envelope. ?? interesting problem.

Yes, I intended for it to be easy problem and to just connect the two centroids and realized my blunder afterwards. I'm pretty sure it should still be possible because if you work it out in coordinates, you only need to adjoin a square root to solve for the equation of the line, but this definitely isn't what I had in mind at first. Hopefully the rest of the problems should be free from glitches!
 
  • #30
#3: We have that ##\alpha = \sqrt{5} + 7^{1/3} + 3^{1/5}## is a algebraic number being the root of a monic polynomial with integer coefficients:

https://www.wolframalpha.com/input?i=minimal+polynomial+5^{1/2}+++7^(1/3)+3^(1/5)

Where ##a_0 \not= 0##. By the rational root theorem, if ##\alpha = p/q## where ##p## and ##q## are coprime integers, we must have ##q## divides ##1## and ##p## divides ##a_0##. In other words, ##\alpha## must be an integer that divides ##a_0##. However, from putting ##\sqrt{5}+ 7^{1/3} + 3^{1/5}## into a calculator it is obviously not an integer. Hence, it is irrational. You are allowed to use wolfram alpha and a calculator?
 
Last edited:
  • #31
I would prefer that you do it by hand :)

With that being said, do you see an easy to way to check that ##\sqrt{5}+\sqrt[3]{7}+\sqrt[5]{3}## is an algebraic integer (I think you mean this as opposed to algebraic number, which just means that it is a root of an integer, not necessarily monic, polynomial) without explicitly writing down its minimal polynomial?
 
  • Love
  • Like
Likes julian and malawi_glenn
  • #32
The sum of algebraic integers is an algebraic integer and each of ##\sqrt{5}##, ##\sqrt[3]{7}##, and ##\sqrt[5]{3}## are algebraic integers. Do I need to use that theorem? Or is there another way?

It is getting quite late here. Tomorrow!
 
Last edited:
  • #33
That theorem should be fair game to use and I trust that you can do the arithmetic to verify that ##\sqrt{5}+\sqrt[3]{7}+\sqrt[5]{3}## is not an integer, so I'll count it as solved.

I'll share the solution I had in mind. If the sum is rational, then ##\sqrt{5}\in\mathbb{Q}(\sqrt[3]{7},\sqrt[5]{3}).## The field on the righthand side contains ##\mathbb{Q}(\sqrt[3]{7})## and ##\mathbb{Q}(\sqrt[5]{3})## as subfields so its degree over ##\mathbb{Q}## is a multiple of both 3 and 5, hence a multiple of 15. Also, its degree over ##\mathbb{Q}## is at most 15 because in general ##[K(\alpha,\beta):K]=[K(\alpha,\beta):K(\alpha)]\cdot [K(\alpha):K]\leq [K(\beta):K]\cdot [K(\alpha):K].## So ##[\mathbb{Q}(\sqrt[3]{7},\sqrt[5]{3}):\mathbb{Q}]=15## and it cannot have a degree 2 element like ##\sqrt{5}.##

One interesting thing to note is that our methods are good for different generalizations of the original problem. If I instead asked to prove that the numbers ##\sqrt{5},\sqrt[3]{7},\sqrt[5]{3}## are rationally independent, then your method seems quite difficult to use since after clearing denominators you would have to explain why no integer combination of these numbers could be an integer, which doesn't simplify the problem.

Instead, if some of the degrees of the roots were not coprime, then my method could fail because the degree of the composite field might not be the product of degrees of the base fields (you could get a new prime factor in the degree!) and also last sentence could fail to be a contradiction if there was the needed divisibility.
 
  • #34
Now I'm more awake, I can look into it and find that the theorem isn't difficult to prove. It is easy to establish that:

\begin{align*}
& 2.2 < \sqrt{5} < 2.3
\nonumber \\
& 1.9 < \sqrt[3]{7} < 2
\nonumber \\
& 1.2 < \sqrt[5]{3} < 1.3
\nonumber \\
\end{align*}

So that

\begin{align*}
5.3 < \sqrt{5} + \sqrt[3]{7} + \sqrt[5]{3} < 5.6
\end{align*}
 
Last edited:
  • #35
@Infrared I have a question regarding problem #2. It looks as if you expected to use the intermediate value theorem. I think a minimality argument is sufficient, but I may have overlooked something in my proof:
Set $$P(f;T):=\left\{nT\,|\,n\in \mathbb{Z}\right\}\quad \text{ for some } T\in \mathbb{R}$$
Since ##0\in P(f)## in any case, we have ##P(f)=\{0\}=P(f;0)## for non-periodic functions ##f.## We may therefore assume that ##f## is periodic and ##T_0## the minimal, positive, non-zero element of ##P(f).##

Edit: If no such minimal period ##T## existed, and ##\{0\}\subsetneq P(f)## then we had a sequence ##(T_n)_{n\in \mathbb{N}} ## with ##\lim_{n \to \infty}T_n=0.## In every neighborhood of ##x## was an element ##|T_n|<\varepsilon ## such that ##f(x)=f(x+T_n)##. As ##f## is continuous, ##f(x)## was constant for all ##|x|<\varepsilon,## i.e. on an interval of positive length. Therefore, ##f(x)## would be constant everywhere, i.e. ##T=0## and ##P(f)=\{0\}.##

Or: The sets ##A(x_0)=\{x_0\}+\{T\in P(f)\,|\,f(x_0)=f(x_0+T)\}## are closed by the continuity of ##f.## If no minimal ##T_0## existed at some point ##x_0## then we could construct a zero-sequence ##(T_n) ## such that ##x_0\not\in A(x_0) ## which contradicts closeness.

If such an element was negative then (by using the for-all-quantifier in the definition of ##P(f)##)
\begin{align*}
f(x+|T_0|)=f((x+|T_0|)+T_0)=f((x+|T_0|)-|T_0|)=f(x)
\end{align*}
and we can choose ##|T_0|## instead. By the same argument, we will find per induction in both directions that ##P(f;T_0)\subseteq P(f).## Now assume ##0\neq T\in P(f).## Then we have to show that ##T=nT_0## for some ##n\in \mathbb{Z}.## We assume that ##T>T_0##, since there is nothing to show for ##T=T_0## and negative values, can be turned into positive by the above argument. Let ##T\in [\,nT_0,(n+1)T_0\,).## Then
$$
f(x+(T-nT_0))=f((x-nT_0)+T)\stackrel{T\in P(f)}{=}f(x-nT_0)\stackrel{P(f;T_0)\subseteq P(f)}{=}f(x)
$$
contradicting the minimality of ##T_0## since
$$
T-nT_0 < (n+1)T_0-nT_0=T_0.
$$
except ##T-nT_0=0.##

I may have overlooked something, which leads me to my question: What do you mean by counterexample? The function
$$
f(x)=\begin{cases}|\sin(x)|&\text{ if }x\not \in \mathbb{Z}\pi \\ -2 &\text{ if }x \in \mathbb{Z}\pi\end{cases}
$$
is still periodic with ##P(f)=P(f;\pi)## but not continuous anymore.
 
Last edited:
  • #36
@fresh_42 The error in your proof is that you assume there is a minimal positive element of ##P(f)## when ##f## is periodic. Why can it not contain elements arbitrarily close to 0? If there is a minimal positive element of ##P(f),## call it ##T_0## then I think a simpler way of writing your argument is to say that for any other ##T\in P(f)##, you can perform long division ##T=nT_0+r## for integer ##n## and ##0\leq r<T_0.## Since ##P(f)## is an additive group containing ##T## and ##T_0##, you have ##r\in P(f)## which contradicts the minimality of ##T_0## unless ##r=0##, in which case ##T=nT_0## as desired.

fresh_42 said:
I may have overlooked something, which leads me to my question: What do you mean by counterexample?
I mean that the statement "If ##f## is continuous and not constant, then ##P(f)=T\mathbb{Z}## for some ##T\in\mathbb{R}##" is false without the condition that ##f## is continuous. @pasmith has already done this in post 27. Since you didn't actually use the fact that ##f## is continuous in your argument as far as I can see, that's a sign it can't be right since that assumption is necessary.
 
  • #37
Infrared said:
@fresh_42 The error in your proof is that you assume there is a minimal positive element of ##P(f)## when ##f## is periodic. Why can it not contain elements arbitrarily close to 0?
Because then it would be zero as ##0\in P(f).## That's the only place I use continuity, admitted.
Infrared said:
If there is a minimal positive element of ##P(f),## call it ##T_0## then I think a simpler way of writing your argument is to say that for any other ##T\in P(f)##, you can perform long division ##T=nT_0+r## for integer ##n## and ##0\leq r<T_0.## Since ##P(f)## is an additive group containing ##T## and ##T_0##, you have ##r\in P(f)## which contradicts the minimality of ##T_0## unless ##r=0##, in which case ##T=nT_0## as desired.
This is equivalent to my minimality argument, only that minimality is hidden in the remainder term of the Euclidean algorithms. A matter of taste.
Infrared said:
I mean that the statement "If ##f## is continuous and not constant, then ##P(f)=T\mathbb{Z}## for some ##T\in\mathbb{R}##" is false without the condition that ##f## is continuous.

Have you looked at my example with the sine? It is clearly not continuous and periodic (##\pi##) and not constant.

Infrared said:
@pasmith has already done this in post 27. Since you didn't actually use the fact that ##f## is continuous in your argument as far as I can see, that's a sign it can't be right since that assumption is necessary.
Oh, you meant a counterexample to ##P(f)=T\mathbb{Z}## and not to continuity.
 
  • #38
fresh_42 said:
Because then it would be zero as ##0\in P(f).## That's the only place I use continuity, admitted.

Great, so as soon as you include a proof that ##P(f)## has a minimal positive element when ##f## is continuous (assuming of course that ##P(f)\neq\{0\}##), your solution will be correct :)
 
Last edited:
  • #39
Infrared said:
Great, so as soon as you include a proof that ##P(f)## has a minimal positive element when ##f## is continuous (assuming of course that ##P(f)\neq\{0\}##), your solution will be correct :)
Added to the proof as "Edit" comment.
 
  • #40
fresh_42 said:
Added to the proof as "Edit" comment.
Edit: Sorry, I actually don't quite follow the first argument. ##f(x)=f(x+T_n)## for a sequence ##T_n\to 0## does not imply that ##f## is constant in a neighborhood of ##x.## This would be satisfied by any function continuous at ##x.## I'm probably misreading your argument?

I'm also having a hard time reading the second argument, though. For exmaple, the set ##\{T\in P(f):f(x_0)=f(x_0+T)\}## is just ##P(f)## since the condition imposed ##f(x_0)=f(x_0)+T## is already implied by the definition of ##P(f).##
 
  • #41
Infrared said:
Edit: Sorry, I actually don't quite follow the first argument. ##f(x)=f(x+T_n)## for a sequence ##T_n\to 0## does not imply that ##f## is constant in a neighborhood of ##x.## This would be satisfied by any function continuous at ##x.## I'm probably misreading your argument?

I'm also having a hard time reading the second argument, though. For exmaple, the set ##\{T\in P(f):f(x_0)=f(x_0+T)\}## is just ##P(f)## since the condition imposed ##f(x_0)=f(x_0)+T## is already implied by the definition of ##P(f).##
Yes, please forget it. It was too quick (and very dirty), too late, too hot and I was too tired. I will have to think about it in daylight. Sorry for your inconvenience.
 
  • #42
Effectively, can we have uncountable chains in the lattice \mathcal P(\mathbb N)?
Dedekind cuts. For any r\in\mathbb R let S_r := \{q\in\mathbb Q \mid q&lt;r\}. It follows that \mathbb R\to\mathcal P(\mathbb Q), r\mapsto S_r, is injective. Let f:\mathbb Q\to\mathbb N be a bijection, which induces F:\mathcal P(\mathbb Q)\to\mathcal P(\mathbb N), A\mapsto \{f(a)\mid a\in A\}. Clearly, this is bijective.

Let r&lt;s in \mathbb R. Note that
<br /> F(S_r) = \{f(q) \mid q\in S_r\} = \{f(q) \mid q&lt;r\} \subseteq \{f(q) \mid q&lt;s\} = F(S_s).<br />

So F(S_r), r\in \mathbb R, is a linearly ordered subset of \mathcal P(\mathbb N).
 
Last edited:
  • #43
@nuuskur Nice job! A friend gave me this one and it took quite a bit longer for me to solve than it should have. My instinct was that there was no such family and I spent a while trying to prove it before I considered that it might be possible.
 
  • #44
Initially, I thought it was impossible too, because I couldn't somehow "constructively" make a chain with R-many elements when thinking explicitly about subsets of N. Then I started thinking about it for Q and the answer was more or less apparent. The black box is the bijection ##f##, since its existence can be justified if an injection \mathbb Q\to\mathbb N is found. I am not even going to try and understand what this chain looks like o0)
 
  • #45
Infrared said:
@nuuskur Nice job! A friend gave me this one and it took quite a bit longer for me to solve than it should have. My instinct was that there was no such family and I spent a while trying to prove it before I considered that it might be possible.

I don't see a problem with constructing an uncountable sequence like that using Dedekind cuts, but it bugs me because it also seems like we can also construct an injection from a sequence like that into ##\mathbb{N}##: Let's say that ##A \in \mathcal{F} ## is some element of the chain. Then ##\Delta A = A - \bigcup_{B \in \mathcal{F}, B \subsetneq A} B ## should be a non-empty set since all the ##B##s are proper subsets of ##A## and that union is equal to one of them [Edit: this isn't true for infinite unions] and since ##\Delta A## is a set of natural numbers and the natural numbers are well-ordered, it should have a smallest element ##\min \Delta A ##. Then for any particular chain ##\mathcal{F}##, ##A \rightarrow \min \Delta A## should be an injection. Clearly ##\min \Delta A## can't be in any set ##B \subsetneq A## in chain because those elements were subtracted out so ##\min \Delta B \neq \min \Delta A##, and similarly for any ##C \supsetneq A## the elements of ##A## can't be in ##\Delta C## so ##\min \Delta C \neq \min \Delta A##.

Am I missing something obvious? Edit: Ah, right ##\mathbb{N} = \bigcup \{ 1 \}, \{1,2\}, \{1,2,3\} \ldots ## even if all of the individual elements of the union are finite and included in each other.
 
Last edited:
  • #46
nuuskur said:
It's not immediately obvious to me why ##\Delta A## should be nonempty. You seem to claim something like ##[0,1-1/n)## does not converge to ##[0,1]## because all the individual sets are proper subsets.
Well, it's that ##\bigcup_{n=2}^{\infty} [0,1-1/n) = [0,1) ##. The union won't contain 1 so it doesn't converge to the closed interval.
 
Last edited:
  • #47
@Throwaway_for_June @nuuskur Are you responding to the correct thread? I don't see the notation ##\Delta A## anywhere in this thread.
 
  • #48
Infrared said:
@Throwaway_for_June @nuuskur Are you responding to the correct thread? I don't see the notation ##\Delta A## anywhere in this thread.
Yeah, we were discussing one of the answers. Mods are reviewing my edits.
 
  • #49
Part of his or her argument was the following. Let ##\mathcal A## be a chain of ##\mathcal P(\mathbb N)##. Take ##A\in\mathcal A## and consider
<br /> \Delta A := A\setminus \bigcup _{B\subset A}B.<br />
Let's assume ##\Delta A## is nonempty subset of ##\mathbb N##, hence it has smallest element ##m_A##. So, we have ##\mathcal A\to\mathbb N, A\mapsto m_A##. They also had some argument to show it's injective, but the problem is if it was injective, then clearly we can't have uncountable chains.

I think it's reasonable to claim nonemptiness, though that is also not obvious to me. But I don't think injectivity follows (I mean, in hindsight, it couldn't).
 
  • #50
It is also not necessarily true that ##\Delta A## is nonempty. If so, it would also be the case if you replaced ##\mathbb{N}## with ##\mathbb{Q}## but with if you use the Dedekind cuts ##S_a=\{q\in\mathbb{Q}:q<a\}## for ##a\in\mathbb{R},## you see that any ##S_a\setminus\bigcup_{b<a}S_b## is empty.

Also, please don't have conversation in threads where you delete the messages after. It makes it impossible for anyone else who's reading to follow.
 
Last edited:
  • Like
Likes jim mcnamara and nuuskur

Similar threads

Replies
42
Views
10K
2
Replies
69
Views
8K
2
Replies
61
Views
11K
2
Replies
93
Views
14K
Replies
25
Views
4K
3
Replies
100
Views
11K
3
Replies
102
Views
10K
2
Replies
61
Views
12K
2
Replies
86
Views
13K
2
Replies
61
Views
9K
Back
Top