The tag has no usage guidance.

learn more… | top users | synonyms

4
votes
1answer
88 views

Continuous non-constant function with infinite intersections with horizontal line on a compact interval?

The title might be misleading, but whether such a function exists is what boggles me about the following problem: Let $f:\mathbb{R}\rightarrow \mathbb{R}$ be a continuous function such that for all ...
-3
votes
0answers
20 views

Square wave in the limit of infinite frequency [on hold]

What is the new function obtained when one takes the limit of the square wave function when the frequency is taken to infinity? Does it depend on how the function is written down (e.g. defined as ...
-2
votes
0answers
46 views

Does continuity in one variable and locally Lipschitz in another imply uniformity in the first? [migrated]

I understand the definition of Lipschitz functions when talking of functions of single variables. However, I have trouble understanding it when it is a multivariable function. Suppose $ f(t,x):D ...
1
vote
0answers
20 views

Is support function of a convex curve in $\mathbb{R}^2$ absolutely continuous? [on hold]

There is an example of a convex function of two variables that is convex but not absolutely continuous. The level set of this function is a convex curve. To construct one example of such a function ...
6
votes
0answers
242 views

Finding non convex functions satisfying a weak form of convexity, without the axiom of choice

If a real-valued function $f$ over reals satisfies $$ (1) \; \; \; f({x+y\over2})\le {f(x)+f(y)\over2}, $$and it is continuous, then it is not hard to see that $f$ is indeed convex. On the other ...
4
votes
1answer
126 views

Is the heat kernel for the hyperbolic plane uniformly continuous in $t\in(0,\infty)$?

let $\mathbb{H}$ be the hyperbolic plane and let $k(t,x,y)$ be the associated heat kernel. I am wondering, if for any fixed $y\in M$ and $\epsilon >0$ the function $u_t(x):=k(t,x,y)$ is continuous ...
19
votes
3answers
393 views

Which partitions of $[0,1]$ are collection of level sets of a real continuous function?

Let $f:[0,1]\to[0,1]$ be given. The level sets of $f$ (ie the collection of all sets of the form $\{x\in[0,1]:f(x)=y\}$, for each fixed $y\in[0,1]$) partition the domain of $f$. I am curious for set ...
5
votes
0answers
127 views

Uniform approximation of separately continuous functions on zero-dimensional spaces

For topological spaces $X,Y,Z$ а function $f:X\times Y\to Z$ is called separately continuous if for any $(x,y)\in X\times Y$ the restrictions of $f$ to the sets $\{x\}\times Y$ and $X\times \{y\}$ are ...
0
votes
0answers
54 views

Absolute continuity and the Luzin N-Property for functions of two variables

It is a well known fact that absolutely continuous functions of one real variable have the so-called Luzin N-property. That is, if $E\subset\operatorname{Domain}(f)$ has zero measure, then $f(E)$ has ...
1
vote
0answers
50 views

Extending an homotopy, knowing the two base functions extend

Let $A\subset B$ be paracompact spaces, and let $C$ be a paracompact space. Let $f_0,f_1:A\rightarrow C$ be continuous functions. $F:A\times[0,1]\rightarrow C$ a homotopy from $f_0$ to $f_1$. Suppose ...
0
votes
0answers
50 views

Convergence of the solution of Volterra integral equation with convergent kernel (reposted, need help!)

Consider the following Volterra integral equation $g(t)=∫_0^tK_n(t,s)w_n(s)ds$ where $g(t)$ and $K_n(t,s)$ are continuous and $K_n(t,s)≥K_{n+1}(t,s)$ for all $t,s$. Moreover, $K_n(t,s)$ converges to ...
1
vote
2answers
215 views

Topological properties for which bijectively related imply homeomorphism

In this post I give examples of topological spaces for which bijectively relations imply existence of an homeomorphism. Namely: Intervals of the real line. Compact spaces. I also give a ...
2
votes
0answers
70 views

On compactness in $C(X)$

Let $X$ be a Tychonoff space. It is well known, that for a family of scalar functions equicontinuity + pointwise boundedness imply relative compactness in $C(X)$ (with compact-open topology). It is ...
3
votes
2answers
214 views

Is a sigma-finite Borel measure over $\mathbb R$ determined by its values on the continuous functions? [closed]

Suppose that $\mu$ and $\nu$ are sigma-finite measures on the Borel sigma-algebra over $\mathbb R$ such that $\int_{\mathbb R}f\,d\mu=\int_{\mathbb R}f\,d\nu$ for all nonnegative continuous functions ...
3
votes
1answer
101 views

If $u_n \to u$ in $H^{\frac 12}(\partial\Omega)$, does $f(u_n) \to f(u)$ in $H^{\frac 12}(\partial\Omega)$ for $f$ Lipschitz?

Let $f:\mathbb{R} \to \mathbb{R}$ be a smooth function with $|f'(x)| \leq C$ for all $x$ and $f(0)=0$. Suppose $u_n \to u$ in $H^{\frac 12}(\partial\Omega)$, where $\Omega$ is a bounded domain of ...
1
vote
1answer
150 views

Absolutely continuous functions

it is well known that if a function $f:[0,T]\to\mathbb{R}$ satisfies the inequality $$\vert f(t)-f(s)\vert\leq \int_s^t{m(r) dr},$$ for $s<t$ and some $m\in L^1([0,T])$ then $f$ is absolutely ...
4
votes
4answers
385 views

Continuity in Banach space for non-linear maps

I want to find an example of a Banach space $X$ and a continuous map $f:X\rightarrow X$ such that $f$ is not bounded on the unit ball. I do not doubt that such an example exists, but I cannot make it ...
0
votes
1answer
134 views

Uniform approximation of increasing function in $C^{\infty}$

I have an increasing continuous function $f:{\mathbb R}\rightarrow {\mathbb R}$ which is not differentiable everywhere, and I would like to approximate it with an infinitely differentiable function ...
5
votes
1answer
237 views

If $S\subset\mathbb R$ is a $G_\delta$ there is a function $\mathbb R\to\mathbb R$ continuous exactly on $S$. Reference?

Let $S\subset\mathbb R$ be a $G_\delta$ set. A variation on the construction of the Thomae function (which is discontinuous on the rationals and continuous elsewhere) shows that there is a function ...
3
votes
2answers
228 views

A problem on chains of squares — can one find an easy combinatorial proof?

Consider the unit square $ S = [0,1] \times [0,1] $. For each $ n \in \mathbb{N} $, we can tessellate $ S $ by the collection $$ A = \left\{ \left[ \frac{i}{n},\frac{i + 1}{n} \right] \times ...
13
votes
1answer
402 views

Stromquist's 3 knives procedure

(copied from math.SE) BACKGROUND: A cake has to be divided among 3 people with possibly different tastes, such that each person receives a single connected piece, and no person prefers another ...
3
votes
0answers
116 views

Is a continuous map between smoothable manifolds of the same dimension always smoothable?

(My question is inspired by this math.SE question, whose negative answer I showed by a dimension-increasing map.) Is it the case that for all smoothable manifolds $M_0$ and $M_1$ with the same ...
3
votes
3answers
414 views

Cardinality of $C^*([0,1])$ [closed]

What is the cardinality of the continuous dual of $C([0,1])$ (the set of continuous functions from $[0,1]\to \mathbb{R}$)?
3
votes
1answer
163 views

A functional equality

I don't know if this is known, but I was fiddling around with this equality : $$f:(-1,1)\to (-1,1)\quad \text{satisfies}\quad(f(z)+1)^s=\sum_{j=0}^{\infty}\dbinom{s}{j}f(z^k) \quad \forall z\in ...
1
vote
0answers
174 views

If an upper semicontinuous multivalued map is compact on a set, is it compact on the boundary as well?

I have stumbled upon the following problem during my research: Let $X$ and $Y$ be Banach spaces, $K\subset X$ nonempty, $F:\overline{K}\rightarrow 2^{Y}$ an upper semicontinuous multivalued map with ...
2
votes
1answer
256 views

Follow up: Is continuity preserved when taking comma object?

Here, I asked wether taking lax pullback preserves continuity, but got no precise answer. However, I have found this recent article by Riehl and Verity which proves something very similar, but I ...
1
vote
0answers
244 views

Lipschitz continuity of solution set mapping of a parametric convex optimization problem

I have a parametric convex optimization problem: \begin{array}{cl} \underset{x}{\text{minimize}} & f\left(x,z\right)\\ \text{subject to} & g\left(x\right)\leq0 \end{array} where $x$ is the ...
8
votes
1answer
302 views

Extending a $ * $-Representation of $ ({C_{c}}(G,\mathscr{A}),\star,^{*}) $ to a $ * $-Representation of $ \mathscr{A} \rtimes_{\alpha} G $

Let $ (\mathscr{A},G,\alpha) $ be a $ C^{*} $-dynamical system, and consider the twisted convolution $ * $-algebra $ ({L^{1}}(G,\mathscr{A}),\star,^{*}) $ defined by \begin{align*} \forall \phi,\psi ...
9
votes
2answers
2k views

the convolution of integrable functions is continuous?

The question is simple but I still can't prove it or contradict it. Here it goes: Suppose $f$ and $g$ are defined on the circle (or, equivalently, $2\pi$ periodic functions) and Lebesgue ...
2
votes
3answers
258 views

Speed of convergence for Weyl's Equidistribution theorem

If $f$ is a continuous periodic fonction on $[0,1]$ and $a\not\in\mathbb{Q}$, the Weyl's equidistribution theorem states that $$\frac{1}{n}\sum_{k=0}^{n-1}f(ak)\rightarrow \int_0^1 f(x)dx.$$ Can we ...
5
votes
2answers
1k views

On the continuity of $\sum_{n=1}^{\infty} sin(nx) / n^\alpha$

I know that the series $\sum_{n=1}^\infty \sin(nx) / n^\alpha$, with $0 < \alpha < 1$, converges for $x \in [0,2\pi]$. I'm trying to understand if the function $f(x) = \sum_{n=1}^\infty ...
2
votes
1answer
292 views

Find a continuous function with a prescribed continuity set

It's known that for a function $f:\mathbb{R} \rightarrow \mathbb{R}$ the set of points of discontinuity must be an $F_{\sigma}$. In the book "Understanding Analysis" by Abbott is stated in page 128 ...
11
votes
3answers
2k views

What is the definition of continuity of set-valued functions?

According to the wiki of Kakutani's fixed-point theorem, A set-valued mapping $\varphi$ from a topological space $X$ into a powerset $\wp(Y)$ called upper semi-continuous if for every open set $W ...
0
votes
0answers
189 views

Continuity of a function

Let $f\in L^2(\mathbb{R}^3)$ with compact suppport and $z\in\mathbb{C}$. Is the following function continuous for $z\in Q = \{ z : \Re z\in [a,b], \Im \sqrt{z} \in (0,1] \}$: $$ ...
2
votes
0answers
66 views

Presentation of tree decompositions (and related concepts) in terms of continuous maps?

A tree decomposition of a graph $G$ is commonly defined in terms of a tree $T$ with the following structure: Each vertex $t \in V(T)$ is associated to a set $X_t \subseteq V(G)$; The union ...
0
votes
1answer
764 views

Is an L_1 bounded sequence of random variables with uniformly converging CDFs uniformly integrable?

Changing my question in light of Dan's answer. Thanks, Dan. Consider a sequence of real random variables $X_i$ bounded in $L_1$, that is $\mathbb E\left|X_i\right|\leq M$ for all $i$. Suppose that ...
3
votes
2answers
157 views

continuity of length function $l: T(X) \times MF \to \mathbb R$

Let $T(X)$ be the Teichmuller space of a closed Riemann surface $X$ of genus $g \geq 2,$ and $MF$ the space of equivalence classes of measured foliations. Then we have a length function $l: T(X) ...
3
votes
1answer
253 views

Automatic continuity of the inverse map

All topological spaces considered here are Hausdorff. It is a well-known consequence of the minimality of a compact topology that an injective continuous map $f\colon X\to Y$ where $X$ is compact, ...
0
votes
1answer
103 views

Continuity of critical points with respect to a parameterisation.

Hello. I have a research note coming out soon, and I'm stuck showing that a weird kind of function is continuous. I need to it show a new method of bounding exponential growth factors in ...
2
votes
0answers
117 views

Is the Poincare action on the Klein-Gordon quantum field strongly continuous?

I am interested in checking continuity property of the Poincare group action on the Klein-Gordon quantum field theory defined over the Minkowski spacetime. Maybe the simplest example of QFT out there. ...
1
vote
2answers
650 views

Criteria for Lipschitz continuity

Is the following statement true. Assume that $f:[0,1]\to [0,1]$ is a continuous function such that $$\sup_t\lim\sup_{s\to t}\frac{|f(s)-f(t)|}{|t-s|}<\infty,$$ then $f$ is Lipchitz continuous.
2
votes
1answer
210 views

Function spaces over pseudocompact spaces

Let $K$ be a pseudocompact Tychonoff space that is, a Hausdorff $T_{3.5}$ space for which every continuous function $\varphi \colon K\to \mathbb{C}$ is bounded. Let $\beta$ be the Stone-Cech extension ...
3
votes
1answer
340 views

upper semicontinuity in C(X)-algebras

Dear fellows, I've stuck on a step of proposition 1.2 of Rieffel's article (continuous field of C*-algebras coming from group cocycles and actions, 1989). I think it basically proves that a ...
4
votes
1answer
326 views

Are point sets of the same order type connected by continuous (order type)-preserving motion?

Given two general position point sets in $\mathbb{R}^2$ of the same size and order type, is it possible to continuously move the points of one set until they coincide with those of the other set in ...
0
votes
1answer
147 views

Continuity of Lexicographic Minimum Solution of a parametrized LP problem

Given a parametrized LP problem find x, that minimizes F*x such that Ax <=Bt+D where t is a parameter. And suppose C(t) is a set of all optimal solutions of LP with parameter t. Let x_L(t) be ...
4
votes
2answers
368 views

Lipschitz continuity of singular values

How smooth are the singular values of a matrix F in terms of entries of F? I am hoping for Lipschitz continuity, but was not able to find it.
8
votes
1answer
343 views

Topological conditions forcing continuity

Let $X$, $Y$, and $Z$ be topological spaces. Let $f:X \rightarrow Y$. Further assume that for every continuous function $g:Y \rightarrow Z$, $g \circ f$ is continuous. Question: Under what ...
11
votes
3answers
1k views

Are measurable homomorphisms $ (\Bbb{C},+) \to (\Bbb{C},+) $ or $ (\Bbb{C},+) \to (\Bbb{C},*) $ continuous, and do they admit an explicit description?

I am interested in generalizations of the following fact (known as automatic continuity, as pointed out below). I am especially looking for references to papers dating back to 1920’s. I feel that ...
0
votes
4answers
3k views

Does Cauchy continuity imply uniform continuity? [No.] [closed]

It is well known that if $X$ is a first countable topological space and $Y$ is a topological space, then $f : X \rightarrow Y$ is continuous iff $$\forall x \in {\rm map}(\mathbb{N},X),\forall p \in X ...