All Questions
13,925 questions
15
votes
3
answers
2k
views
Disintegrations are measurable measures - when are they continuous?
This is a sequel to another question I have asked.
The notion of disintegration is a refinement of conditional probability to spaces which have more structure than abstract probability spaces; ...
- 8,512
82
votes
5
answers
6k
views
How do the compact Hausdorff topologies sit in the lattice of all topologies on a set?
This question is about the space of all topologies on a
fixed set X. We may order the topologies by refinement, so
that τ ≤ σ just in case every τ open set is open in σ.
...
- 236k
11
votes
5
answers
1k
views
Confusion over a point in basic category theory
"Let Top be the category of topological spaces." If I see a definition like this, in which homeomorphic (isomorphic in the category) spaces are not identified together, then for each given topological ...
- 1,207
4
votes
2
answers
1k
views
Can we extract information about how fast a function decay from its Laplace transform?
My question is whether we can extract information about how fast an integrable function converges to zero by looking at the asymptotics of its Laplace transform.
More concrete case, let $f:\mathbb{R} ...
- 1,839
30
votes
8
answers
3k
views
Cryptomorphisms
I am curious to collect examples of equivalent axiomatizations of mathematical structures. The two examples that I have in mind are
Topological Spaces. These can be defined in terms of open sets, ...
4
votes
1
answer
417
views
"Category" of Nonempty Metric Spaces and Contractive Maps?
The usual way of getting a category of metric spaces is to take metric spaces as objects, and the nonexpansive maps (ie, functions $f : A \to B$ such that $d_B(f(a), f(a')) \leq d_A(a, a')$) as ...
- 9,201
6
votes
7
answers
8k
views
Existence of an extreme point of a compact convex set
The Krein-Milman theorem shows that a compact convex set in a Hausdorff locally convex topological vector space is the convex hull of its extreme points.
It seems this implies that a compact convex ...
- 169
3
votes
1
answer
1k
views
characterization of continuous functionals in weak-star topology
Reading Wojtaszczyk's Banach spaces for analysts, I'm trying to understand his proof that the space of all continuous linear functionals on $(X^\star,\sigma(X^\star, X))$ is $X$.
To show the $ \...
- 922
5
votes
1
answer
807
views
Self-adjoint extension of locally defined differential operators
The following is well known. Given a symmetric differential operator, like $\partial_x^2$, defined on smooth functions of compact support on $\mathbb{R}$, $C_0^\infty(\mathbb{R})$, one can count the ...
- 21.5k
2
votes
2
answers
1k
views
Simple question of topological cofibration
I have an inclusion of topological spaces (actually manifolds with corners) $X \to Y$. I can show that for every $x \in X$ there is a neighborhood of $x$ in $Y$ of the form $U \times V$. Also, the ...
- 367
5
votes
1
answer
403
views
Nonlinear Nuclear Operators ?
Is there a "right" definition of the nuclear
operator in the nonlinear framework ? Of course, such an operator
must be compact, while a linear operator should be "nonlinearly"
nuclear iff it is ...
- 4,060
32
votes
3
answers
4k
views
Which spaces are inverse limits of discrete spaces ?
There is the following theorem:
"A space $X$ is the inverse limit of a system of discrete finite spaces, if and only if $X$ is totally disconnected, compact and Hausdorff."
A finite discrete space ...
- 11.1k
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|^...
- 2,044
3
votes
3
answers
584
views
Polynomials and L^p(R)
As someone who mostly does symbolic computation, I've always been puzzled by the fascination mathematicians seem to have with Lp(R) (for p<∞)? To be more precise, there are no non-trivial ...
- 11.8k
2
votes
1
answer
336
views
Topologies making a class of functions continuous [closed]
Let $X:=\{f: \mathbb{C}\to \mathbb{C}\}$ be a class of total functions on $\mathbb{C}$ closed under composition, addition, multiplication, and scalar multiplication. Does there exist a topology on $\...
6
votes
3
answers
372
views
Notion of finite dimensional simplicial space
I was wondering, what a $N$-dimensional simplicial space $X$ should be. Of course the degeneracy maps force the spaces to be nonempty in high dimensions. Currently I have two different versions and i ...
- 11.1k
0
votes
1
answer
288
views
The Quantum Operations On The Bipartite Systems
Given two distinct and noninteracting quantum mechanical
systems $\mathfrak{S}\_1$ and $\mathfrak{S}\_2$ with state spaces
$\mathcal H\_1$ and $\mathcal H\_2$, respectively, the state space
of the ...
- 1
6
votes
2
answers
3k
views
Dense inclusions of Banach spaces and their duals
This seems like a really simple question, but I'm struggling with it. Let $X$ be a separable Banach space, $H$ be a separable Hilbert space, and suppose $i : H \hookrightarrow X$ is a dense, ...
- 8,512
24
votes
1
answer
2k
views
How many ways are there to globalize Harish Chandra modules?
Suppose $G$ a reductive Lie group with finitely many connected components, and suppose in addition that the connected component $G^0$ of the identity can be expressed as a finite cover of a linear Lie ...
- 4,909
8
votes
3
answers
606
views
Compact Hausdorff and C^*-algebra "objects" in a category.
This is yet more on "algebraic objects in functional analysis".
Since Compact Hausdorff spaces are algebraic over Set, it seems to follow that one can find "Compact Hausdorff objects" in any suitable ...
- 26.8k
38
votes
7
answers
5k
views
Why should algebraic objects have naturally associated topological spaces? (Formerly: What is a topological space?)
In this question, Harry Gindi states:
The fact that a commutative ring has a natural topological space associated with it is a really interesting coincidence.
Moreover, in the answers, Pete L. ...
- 21k
5
votes
3
answers
2k
views
When can a function be recovered from a distribution?
What properties does a distribution (in the generalized function sense) has to have in order to be a function. That is, when is $T(\varphi) = \int f \varphi$ for some $f$?
- 259
7
votes
3
answers
1k
views
The continuous as the limit of the discrete
Reading this documment: www.math.ucla.edu/~tao/preprints/compactness.pdf, I got interested in the following thing: "One can also use compactifications to view the continuous as the limit of the ...
- 153
13
votes
0
answers
816
views
How hard is it to make a differential operator Hermitian?
Let $M$ be a closed finite-dimensional smooth manifold (over $\mathbb R$). Let $C^\infty(M) = C^\infty(M,\mathbb C)$ be the algebra of smooth complex-valued functions on $M$, with the natural complex ...
- 54.6k
4
votes
1
answer
822
views
What is the tensor product of $L^p(\bf R)$ with $L^q(\bf R)$?
I'm wondering: What is the tensor product of $L^p({\bf R})$ with $L^q({\bf R})$?
(For p=q=2, the answer clearly should be $L^2({\bf R}^2)$; for other values of $p$ and $q$, it is not at all obvious ...
- 41
52
votes
7
answers
8k
views
"Algebraic" topologies like the Zariski topology?
The fact that a commutative ring has a natural topological space associated with it is still a really interesting coincidence. The entire subject of Algebraic geometry is based on this simple fact.
...
7
votes
2
answers
684
views
Yet more on distortion
I would like to elaborate a little bit on my previous question which can be found
here.
Firstly, let me recall that a separable Banach space $(X, \| \cdot \|)$ is said to be
arbitrarily distortable ...
- 576
1
vote
1
answer
2k
views
spectra of sums and products in (Banach) algebras [was: Spectrum in Banach Algebra]
Let a,b be 2 elements in a Banach Algebra.Let Spec(x) denote the spectrum of an element x. If a,b commute with each other, then by Gelfand Transformation, we have Spec(a+b) is a subset of Spec(a)+Spec(...
- 11
8
votes
3
answers
2k
views
Definition of a von Neumann algebra
Is there a way to equip every C*-algebra A with a functorial topology such that
the canonical map A→A** is an isomorphism if and only if A is a von Neumann algebra?
Here A** denotes the dual of A* in ...
- 37.8k
7
votes
4
answers
946
views
On operator ranges in Hilbert & Banach spaces
Lemma 1 from Anderson & Trapp's Shorted Operators, II isLet $A$ and $B$ be bounded operators on the Hilbert space $\mathcal H$. The following statements are equivalent:
(1) ran($A$) $\subset$ ...
- 8,512
-3
votes
2
answers
1k
views
Finite versus infinite on non-Hausdorff topologies [closed]
Question: Does there exist some real-valued function $f(x)$ where $f: \mathbb{R} \to \mathbb{R}$, for which $\lim_{x \to \infty}$ converges on a non-Hausdorff topology but does not converge on a ...
- 283
12
votes
3
answers
1k
views
What's algebraic approach to QM good for?
The algebraic formulation of quantum mechanics (and related stuff, like quantum thermodynamics & dynamical systems etc.) via C*-algebras provides a viewpoint based mostly on abstract functional ...
- 3,323
5
votes
2
answers
862
views
Hilbert $C^*$-modules and approximate units
Hi,
Given a $\sigma$-unital $C^*$-algebra $A$ and a full Hilbert $A$-module $E$, is it possible to find an approximate unit $ \{\epsilon_i\}, i\in I$ in $A$ such that each $\epsilon_i$ is of the ...
- 93
8
votes
0
answers
605
views
convergence rate in Wiener's approximation theorem
Wiener has the following fantastic results about approximations using translation families:
Given a function $h: \mathbb{R} \to \mathbb{R}$, the set $\{\sum a_i h(\cdot - x_i): a_i, x_i \in \mathbb{...
- 1,839
5
votes
0
answers
537
views
Conditional probabilities in Banach spaces
This is the infinite-dimensional sequel to my question, Conditional probabilities are measurable functions - when are they continuous?.
Let $\Omega = \Omega_1 \times \Omega_2$ be a probability space ...
- 8,512
4
votes
3
answers
2k
views
Algebraic Dual / Continuous Dual
Let $E$ be an infinite dimensional Banach space, let $E^{\ast}$ denote
its continuous (i.e., Banach space) dual, and let $E'$ be its algebraic
dual. Clearly, $E^{\ast}$ is a proper vector subspace of $...
- 4,060
13
votes
2
answers
646
views
Functions separting points in Hausdorff spaces
A colleague in algebra asked me this, and I couldn't answer it. On the Wikipedia page for "epimorphism" it is claimed that in the category of Hausdorff spaces and continuous maps, a function is epi ...
- 18.7k
11
votes
3
answers
1k
views
Continuous automorphism groups of normed vector spaces?
Consider the metric space on, say, ℝ2 induced by the various $L^p$ norms, and the group of isometries from that space into itself that preserve the origin. When $p=2$ I get the continuous group ...
- 180
32
votes
11
answers
23k
views
A book for problems in Functional Analysis
I want to know if there's any book that categorizes problems by subjects of Functional Analysis.
I'm studying Functional Analysis now a days and I really need to solve some problems in order to ...
5
votes
1
answer
723
views
Sheaf condition and representability in the category Top
This is a rather nice question I got from this user via private communication.
Let $\mathcal{C} = Top$ the category of topological spaces. Let $\mathcal{C}^\prime$ be the category $Funct(\mathcal{C}^{...
- 7,442
6
votes
0
answers
639
views
Hilbert subspaces of indefinite inner product spaces
Let $E$ be a real linear space, endowed with a non-degenerate symmetric
bilinear form $(.,.)$.
Suppose that the [indefinite] inner product space $(E,(.,.))$
satisfies the following [sequential] ...
- 4,060
16
votes
0
answers
1k
views
Finite Rank Commutators
My former student Detelin Dosev and I are interested in classifying the commutators in $L(X)$, the bounded linear operators on the Banach space $X$ (see our joint paper on my home page or the ArXiv ...
- 31.5k
17
votes
5
answers
3k
views
Conditional probabilities are measurable functions - when are they continuous?
Let $\Omega$ be a Banach space; for the sake of this post, we will take $\Omega = {\mathbb R}^2$, but I am more interested in the infinite dimensional setting. Take $\mathcal F$ to be the Borel $\...
- 8,512
8
votes
2
answers
1k
views
Example for an integral, rectifiable varifold with unbounded first variation
I'm just looking for an example of an integral, rectifiable varifold, which has no locally bounded first variation.
Recapitulation
for every $m$-rectifiable varifold $\mu$ exists a $m$-rectifiable ...
- 143
3
votes
6
answers
3k
views
Cone in a metric space
We know the definition of a cone in a Real Banach Space.
I want to know if there is any definition for a cone in an abstract metric space.
Have you ever seen such definition anywhere?
- 520
7
votes
1
answer
3k
views
definition of the end of a manifold?
I was hoping if somebody could help me out with the terminology. I've found that the "end of a manifold" is a function assigning to each compact set K a conected component e(K) of the ...
- 71
10
votes
0
answers
609
views
Asymptotic non-distortion of the separable Hilbert space
By the work of E. Odell and Th. Schlumprecht, we know that the
separable Hilbert space $\ell_2$ is arbitrarily distortable. But
I don't know if an "asymptotic" version of their result is true.
To ...
- 576
2
votes
3
answers
1k
views
Baire category theorem
Let's call the following conditions (1): $X$ is a complete metric space with metric $d$, $X = \cup_{n=1}^\infty A_n$. Let $\bar{A}$ denote the closure of $A$.
Let's call the following statement (2): ...
- 498
5
votes
3
answers
1k
views
Functional calculus for direct integrals
Suppose I have a direct integral of Hilbert spaces $H = \int^\oplus H_x dx $, and suppose I have an operator $T: H \to H$ which is decomposable, and so it can be written as
$T = \int^\oplus T_x$ for ...
- 3,897
5
votes
0
answers
417
views
Direct integrals and fields of operators
Suppose we have a measure space $(X,\mu)$ and a measurable field of Hilbert spaces $H_x$ on it. We can form the direct integral ${\cal{H}} = \int H_x \ d \mu$, which is a Hilbert space.
Suppose now ...
- 3,897