Discussion Overview
The discussion centers around the claim that a non-constant real-valued continuous function cannot have an arbitrarily small period. Participants are exploring this concept through proofs and counter-examples, engaging in both theoretical reasoning and mathematical exploration.
Discussion Character
- Debate/contested
- Mathematical reasoning
Main Points Raised
- One participant requests a proof or counter-example for the claim regarding non-constant continuous functions and their periods.
- Another participant presents a proof arguing that if a non-constant function has an arbitrarily small period, it leads to a contradiction regarding continuity at a point.
- A subsequent post asserts that there is no counter-example to the claim, reinforcing the proof provided earlier.
- A different participant proposes a counter-example using the function f(x) = lim_{h→0} sin(x/h), suggesting that while it may work for finite h, the limit may not exist, aligning with the earlier proof.
- Further clarification is provided distinguishing between two statements regarding periodicity and the existence of functions with arbitrarily small periods, indicating that while one statement is true, the other is false.
Areas of Agreement / Disagreement
Participants express disagreement regarding the existence of a counter-example to the original claim. Some support the proof that no such function can exist, while others propose a counter-example that raises questions about the limit's existence.
Contextual Notes
The discussion highlights the dependence on the definitions of continuity and periodicity, as well as the unresolved status of the limit in the proposed counter-example.