All Questions
5,634 questions
9
votes
3
answers
4k
views
Are there sigma-algebras of cardinality $\kappa>2^{\aleph_0}$ with countable cofinality?
A standard homework in measure theory textbooks asks the student to prove that there are not countably infinite $\sigma$-algebras. The only proof that I know is via a contradiction argument which ...
- 16.2k
10
votes
4
answers
3k
views
Measure 0 sets on the line with Hausdorff dimension 1
I use $\dim_H(E)$ to denote the Hausdorff dimension of a set $E \subseteq \mathbb{R}$ and $|E|$ to denote its Lebesgue measure. It is easy to see from the definition of Hausdorff dimension that if $\...
- 2,135
3
votes
1
answer
362
views
Cartesian product of test function spaces
Mini introduction
Suppose $U \subset \mathbb R^n, V \subset \mathbb R^m$ are two open sets. If we take http://en.wikipedia.org/wiki/Distributions_space#Test_function_space">test functions $f_i \in \...
- 22.3k
3
votes
1
answer
367
views
A differential inclusion relating to the slope of a convex function
This question is concerned with a possible lemma which would be very useful in one of my current research projects, but which I am currently unable to prove. The project as a whole relates to the ...
- 2,210
6
votes
1
answer
369
views
Denominators in the solution to Hilbert's XVII
Hilbert's seventeenth problem asks to prove that every positive semidefinite form can be written as the sum of squares of rational functions. Currently we don't seem to have a good understanding of ...
- 39.9k
4
votes
1
answer
346
views
approximately linear functions -- more
Suppose $f,g$ are continuous functions from $\mathbb R$ to $\mathbb R$, with the property that
$$f(x)+f(y)=g(x+y)$$
for all $x,y$. Taking $x=y=z/2$ implies that $g(x)=2f(x/2)$ so that the above ...
- 833
13
votes
3
answers
2k
views
Set of real numbers with positive measure containing no midpoints
Does there exists a subset E of R with positive measure and without containing any midpoints (i.e. x,y distinct in E, (x+y)/2 not in E)?
- 22.3k
5
votes
1
answer
2k
views
Continuous functions remaining constant
I solved a problem in analysis and i was thinking of generalizing this question which i couldn't succeed.
If $f:\mathbb{R} \to \mathbb{R}$ is a continuous function which satisfies $f(x)=f(2x+1)$, ...
- 39k
7
votes
1
answer
2k
views
approximately linear functions
i suppose it's fairly well known that if a (continuous, real-valued) function $f$ on the real line satisfies
$f(x-y)=f(x)-f(y)+const$
then it is necessarily linear.
are there any general ...
- 22.3k
4
votes
4
answers
385
views
Is anything known about $w^*(x)=\sup_y w(x+y)/w(y)$ for measurable functions w on $R^n$
In my recent studies (fourier multipliers on weighted Lp spaces) I have to deal with this kind of transformation: if w is a measurable function on $R^n$, define
$w^*(x)=\sup_y \frac{w(x+y)}{w(y)}$.
...
CommunityBot
- 1
3
votes
1
answer
2k
views
What is the pure intuition for topological continuity and topology? [closed]
I have read the introductory sections of many books on Real Analysis and Topology, yet nowhere have I found an unbiased motivation for the notions of either topology or (topological) continuity.
The ...
- 191
1
vote
4
answers
620
views
Do there exist nonconstant functions such that...
Do there exist nonconstant real valued functions $f$ and $g$ such that the expression:
$$f(x) -v/g(x)$$
is maximized at $x = v$ for all positive real $v$?
- 3,631
7
votes
1
answer
2k
views
Hanner's inequalities: the intuition behind them
Hanner's inequalities in the theory of $L^p$ spaces (see http://en.wikipedia.org/wiki/Hanner's_inequalities) look hard to come-up with at the first glance. Their proof (say, the one in Lieb & Loss ...
- 11.4k
6
votes
1
answer
778
views
Inverse function theorem for DC-functions
I would like to have an inverse (or/and) implicite function theorem for DC-functions.
It seems that I have right definitions, but I fail to prove it...
Definitions:
Let $h:\mathbb R^n\to\mathbb R$ ...
- 45k
-3
votes
2
answers
260
views
On \ell_3 norm in R^2
Let $v,w\in\mathbb{R}^{2}$ and $v\perp w$. Is it true that $\left\Vert v\right\Vert _{3}\leq\left\Vert v+w\right\Vert _{3}$,
in which $\left\Vert \left(x,y\right)\right\Vert _{3}:=\sqrt[3]{\left|x\...
- 12.6k
1
vote
1
answer
879
views
Countable discrete abelian group amenable
For me the definition of amenability of an at most countable discrete group (with counting measure) is existence of a Folner sequence. Assuming this, why is every countable discrete abelian group ...
- 114k
-3
votes
1
answer
590
views
A problem regarding definition of p-norm [closed]
Let ${\bf x}=(x_1,...,x_n)$, the p-norm of x is $(|x_1|^p+...+|x_n|^p)^{1/p}$. If one of the components of x is 0, there will be exponential of the form $0^p$. If p is an irrational, $x^p$ is only ...
- 56.6k
7
votes
1
answer
1k
views
Is the absolutely continuous image of a nowhere dense set is also nowhere dense?
Let $f: [a, b] \subseteq \mathbb{R} \to \mathbb{R}$ be an absolutely continuous map. Does $f$ map a nowhere dense subset of $[a, b]$ to a nowhere dense set?
Remarks:
The answer is "no" if $f$ is ...
- 66
9
votes
2
answers
804
views
Partition of R into midpoint convex sets
We say that a subset $X$ of $\mathbb{R}$ is midpoint convex if for any two points $a,b\in X$ the midpoint $\frac{a+b}{2}$ also lies in $X$.
My question is: is it possible to partition $\mathbb{R}$ ...
- 6,214
2
votes
3
answers
946
views
How can I measure the Morse index in infinite dimensions?
Let $V$ be a vector space over $\mathbb R$, and $a: V\otimes V\to \mathbb R$ a symmetric bilinear pairing. Recall that the Morse index of $a$ is the maximal dimension of any subspace $V_- \subseteq V$...
CommunityBot
- 1
2
votes
0
answers
354
views
What is this effect in Fourier/additive synthesis called?
Hi, I have re-synthesized a cyclic function additively, and I added a fixed offset to the frequency of each partial. So if the function was $\sum a_{n} sin(2 \pi x * n)$ and its frequencies were $n*f_{...
- 165
5
votes
0
answers
558
views
continuous selection of a multivalued function?
The title is probably a bit too broad. I frequently encountered the following situation: suppose I need to select a solution to a linear equation from a compact set. Can I make this selection ...
- 1,839
10
votes
2
answers
3k
views
Continuous function from $[0,1]$ to $[0,1]$
Does there exist a continuous function $f:[0,1]\rightarrow [0,1]$ such that $f$ takes every value in $[0,1]$ an infinite number of times?
- 4,736
2
votes
2
answers
317
views
Bibliography for topologies defined by a family of seminorms
Hello
I am trying to learn more about Fréchet spaces (in order to study the theory of distributions) and was wondering what people thought was the best resource.
Thank you very much.
- 27.7k
2
votes
1
answer
896
views
Text/structure for an analysis course for students with pre-existing understanding of some applied aspects of analysis
Greetings,
I'm teaching a one-off course (perhaps never to be repeated) in a curriculum that's in transition, and I'm looking for advice on a textbook, or stories from people who have taught similar ...
- 50.6k
6
votes
7
answers
5k
views
Best way to teach concept of real numbers using a hands-on activity?
I know a middle school math teacher looking for some suggestions for hands-on activities to teach the concept of real numbers. I'm new to this site, so this may be a little off topic.
- 45.7k
2
votes
0
answers
517
views
When deRham curve is bijection?
Motivation: Suppose we have deRham curve. From wikipedia:
Consider some metric space $(M,d)$ (generally $R^2$ with the usual euclidean distance), and a pair of contraction mappings on M:
$d_0:\ M \...
- 65.4k
4
votes
2
answers
340
views
Embeddings of Weighted Banach Spaces
Let be $d$ a positive integer, $\Omega=\mathbb{R}^{\mathbb{Z}^d}$ and fix $R\geq 2$. We define weighted Banach spaces
$$ \Omega_p:=\left\{ x\in \Omega\left| \left[\sum_{i\in\mathbb{Z}^d}\frac{|x_i|^...
- 25.8k
10
votes
0
answers
439
views
Evaluating Shintani cone zeta functions
Hi everyone
I am trying the evaluate sums of the form
$$ \sum_{n_1>0,n_2>0,\ldots,n_m>0} \frac{1}{\big((a_{1,1}n_1 +\ldots +a_{1,m}n_m)^k \ldots (a_{m,1}n_1+ \ldots +a_{m,m}n_m)^k\big)}$$
...
- 47.3k
6
votes
3
answers
1k
views
Dependence of error on mesh for Riemann sums
Suppose $f$ is continuous on $[a,b]$ with $I = \int_a^b f(x)\: dx$,
and for every $\epsilon > 0$ let $\delta(\epsilon)$ be the largest
$\delta > 0$ such that every Riemann sum arising from a ...
- 15.4k
2
votes
1
answer
1k
views
How can we use the bounded convergence theorem in this proof of the Riesz Representation Theorem?
I'm studying the proof of the Riesz Representation Theorem as it appears in Ch. 6 of Royden's Real Analysis. When I looked on the web I noted there are a few different theorems that go by the name "...
- 61.9k
5
votes
5
answers
2k
views
Cardinality of Equivalence Classes of Cauchy Sequences
What's the cardinality of a single equivalence class of Cauchy sequences in ℚ?
To clarify, I'm not asking for the cardinality of the real numbers, but for the cardinality of the set of Cauchy ...
- 236k
4
votes
2
answers
730
views
Decomposition of Hölder continuous functions
Let $\alpha\in(0,1)$ and $\eta\in\Lambda_0^\alpha(\mathbb{R})$ be a compactly supported Hölder continuous function of order $\alpha$. I would like to show that, for any $n\in\mathbb{N}$, it is ...
- 1,981
3
votes
1
answer
263
views
Asymptotically multiplicative functions and matrices
Hi,
Let $\mathbb{N}_{cop}^2$ denote the set of all pairs of coprime natural numbers. A function $f:\mathbb{C}\rightarrow\mathbb{C}$ is called asymptotically multiplicative, iff $\epsilon_{m,n}:=f(mn)...
- 25.8k