Questions tagged [continuity]

Intuitively, a continuous function is one where small changes of input result in correspondingly small changes of output. Use this tag for questions involving this concept. As there are many mathematical formalizations of continuity, please also use an appropriate subject tag such as (real-analysis) or (general-topology)

Analytic Definition: Let $(X, d_X)$ and $(Y, d_Y)$ be metric spaces. A map $f : X \to Y$ is said to be continuous at $x_0$ if for every $\varepsilon > 0$, there is $\delta > 0$ such that $d_Y(f(x_0), f(x)) < \delta$ whenever $d_X(x_0, x) < \varepsilon$. A map $f : X \to Y$ is said to be continuous if it is continuous at $x_0$ for all $x_0 \in X$.

Topological Definition: Let $(X,\mathcal T_X)$ and $(Y, \mathcal T_Y)$ be topological spaces. A map $f : X \to Y$ is said to be continuous if $U \in \mathcal T_Y$ implies that $f^{-1}(U) \in \mathcal T_X$.

In the case of metric spaces, the metric induces a topology, and the two notions of continuity coincide. Note that multiple metrics can induce the same topology, and that not all topologies are metrizable (can be generated from some metric).

Continuity is a sufficient condition for the intermediate value theorem. It is also a necessary condition for the extreme value theorem, as well as differentiability.

17721 questions
197
votes
5 answers

A Topology such that the continuous functions are exactly the polynomials

I was wondering which fields $K$ can be equipped with a topology such that a function $f:K \to K$ is continuous if and only if it is a polynomial function $f(x)=a_nx^n+\cdots+a_0$. Obviously, the finite fields with the discrete topology have this…
Dominik
  • 14,770
172
votes
7 answers

Find a real function $f:\mathbb{R}\to\mathbb{R}$ such that $f(f(x)) = -x$?

I've been perusing the internet looking for interesting problems to solve. I found the following problem and have been going at it for the past 30 minutes with no success: Find a function $f: \mathbb{R} \to \mathbb{R}$ satisfying $f(f(x)) = -x$ for…
164
votes
1 answer

What functions can be made continuous by "mixing up their domain"?

Definition . A function $f:\Bbb R\to\Bbb R$ will be called potentially continuous if there is a bijection $\phi:\Bbb R\to\Bbb R$ such that $f\circ \phi$ is continuous. So one could say a potentially continuous (p.c.) function is "a continuous…
134
votes
11 answers

Prove that every convex function is continuous

A function $f : (a,b) \to \Bbb R$ is said to be convex if $$f(\lambda x+(1-\lambda)y)\le \lambda f(x)+(1-\lambda)f(y)$$ whenever $a < x, y < b$ and $0 < \lambda <1$ . Prove that every convex function is continuous. Usually it uses the fact: If $a <…
cowik
  • 1,383
113
votes
3 answers

Construct a function which is continuous in $[1,5]$ but not differentiable at $2, 3, 4$

Construct a function which is continuous in $[1,5]$ but not differentiable at $2, 3, 4$. This question is just after the definition of differentiation and the theorem that if $f$ is finitely derivable at $c$, then $f$ is also continuous at $c$.…
112
votes
6 answers

Continuous bijection from $(0,1)$ to $[0,1]$

Does there exist a continuous bijection from $(0,1)$ to $[0,1]$? Of course the map should not be a proper map.
97
votes
8 answers

A map is continuous if and only if for every set, the image of closure is contained in the closure of image

As a part of self study, I am trying to prove the following statement: Suppose $X$ and $Y$ are topological spaces and $f: X \rightarrow Y$ is a map. Then $f$ is continuous if and only if $f(\overline{A})\subseteq \overline{f(A)}$, where…
Holdsworth88
  • 9,018
95
votes
11 answers

Why not include as a requirement that all functions must be continuous to be differentiable?

Theorem: Suppose that $f : A \to \mathbb{R}$ where $A \subseteq \mathbb{R}$. If $f$ is differentiable at $x \in A$, then $f$ is continuous at $x$. This theorem is equivalent (by the contrapositive) to the result that if $f$ is not continuous at $x…
Perturbative
  • 13,846
  • 10
  • 85
  • 181
94
votes
4 answers

A continuous, nowhere differentiable but invertible function?

I am aware of a few example of continuous, nowhere differentiable functions. The most famous is perhaps the Weierstrass functions $$W(t)=\sum_k^{\infty} a^k\cos\left(b^k t\right)$$ but there are other examples, like the van der Waerden functions, or…
levitopher
  • 2,705
89
votes
3 answers

Why did mathematicians introduce the concept of uniform continuity?

I have solved many problems regarding uniform continuity, but still I can't understand the following: Is there any practical application of this concept, or it is just a theoretical concept? Is there any wide application of this concept in any…
74
votes
2 answers

Continuity and the Axiom of Choice

In my introductory Analysis course, we learned two definitions of continuity. $(1)$ A function $f:E \to \mathbb{C}$ is continuous at $a$ if every sequence $(z_n) \in E$ such that $z_n \to a$ satisfies $f(z_n) \to f(a)$ . $(2)$ A function $f:E \to…
John Gowers
  • 25,872
  • 6
  • 71
  • 105
66
votes
3 answers

"Every linear mapping on a finite dimensional space is continuous"

From Wiki Every linear function on a finite-dimensional space is continuous. I was wondering what the domain and codomain of such linear function are? Are they any two topological vector spaces (not necessarily the same), as along as the domain is…
57
votes
16 answers

Why are real numbers useful?

A question (by a fellow CS student taking a first course in calculus, presumably after the lecture in which continuity was introduced: was as follows. In the real, physical world, we deal with numbers that are sort of “finite” or “discrete” by their…
55
votes
4 answers

No continuous function switches $\mathbb{Q}$ and the irrationals

Is there a way to prove the following result using connectedness? Result : Let $J=\mathbb{R} \setminus \mathbb{Q}$ denote the set of irrational numbers. There is no continuous map $f: \mathbb{R} \rightarrow \mathbb{R}$ such that $f(\mathbb{Q})…
user10
  • 5,836
52
votes
9 answers

A game with $\delta$, $\epsilon$ and uniform continuity.

UPDATE : Bounty awarded, but it is still shady about what f) is. In Makarov's Selected Problems in Real Analysis there's this challenging problem: Describe the set of functions $f: \mathbb R \rightarrow \mathbb R$ having the following properties (…
1
2 3
…
99 100