Continuity at lines through a point implying continuity at the point?

Click For Summary
SUMMARY

The discussion centers on the continuity of a function f: ℝ² → ℝ, which is continuous everywhere except possibly at the origin. It explores whether the continuity of the composition f ∘ sₚ, where sₚ(t) = tp for any point p in ℝ², implies that f is continuous at the origin. Participants suggest that a counterexample may exist, particularly by leveraging the non-compactness of ℝ² \ {0}. A proposed parametric representation of a spiral approaching the origin is discussed as a potential illustration of this concept.

PREREQUISITES
  • Understanding of continuity in multivariable calculus
  • Familiarity with parametric equations and their graphical representations
  • Knowledge of compactness in topology
  • Basic concepts of limits and function behavior near singular points
NEXT STEPS
  • Research the properties of continuous functions in multivariable calculus
  • Explore the concept of compactness in topological spaces
  • Learn about counterexamples in analysis, particularly in relation to continuity
  • Investigate parametric plotting techniques and their applications in visualizing functions
USEFUL FOR

Mathematics students, particularly those studying analysis and topology, as well as educators seeking to deepen their understanding of continuity concepts in multivariable contexts.

uman
Messages
348
Reaction score
1

Homework Statement


Let [tex]f:\mathbb{R}^2\to\mathbb{R}[/tex] be continuous everywhere except, possibly, at the origin. Furthermore, for any point [tex]p\in\mathbb{R}^2[/tex], let [tex]s_p:\mathbb{R}\to\mathbb{R}^2[/tex] be defined by [tex]s_p(t) = tp[/tex]. Now assume that [tex]f\circ s_p[/tex] is continuous, as a function [tex]\mathbb{R}\to\mathbb{R}[/tex], for all [tex]p[/tex]. Does this necessarily imply that [tex]f[/tex] is continuous at the origin?


Homework Equations


None that I know of.


The Attempt at a Solution


I can envision some sort of spiral approaching the origin on which [tex]f[/tex] is uniquely 1. [tex]f[/tex] would be uniquely 0 sufficiently far away from the spiral, and the transition from 1 to 0 would be steeper and steeper as the spiral approaches the origin. I can't turn this into a formal counterexample but it makes me believe intuitively that finding a counterexample is possible. I wish I could give a better description of what I have in mind. :D

In other words, to find a counterexample, it should (in my intuition) be necessary to make use of the fact that [tex]R^2\setminus \{0\}[/tex] is not compact.
 
Physics news on Phys.org
See what you can do with something like

[tex]\vec R(r,\theta) = \langle r\cos\theta,r\sin\theta,\sin\theta\rangle,\ 0\le r \le 1,\ 0\le\theta\le 2\pi[/tex]
 
Don't know why it won't let me edit that post, but here's a better one:

[tex] \vec R(r,\theta) = \langle r\cos\theta,r\sin\theta,|\sin\theta|\rangle,\ 0\le r \le 1,\ 0\le\theta\le 2\pi[/tex]

Do a parametric plot of it and see what you think.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
Replies
5
Views
2K
Replies
4
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K