All Questions
9,779 questions
21
votes
5
answers
4k
views
Isomorphisms of Banach Spaces
Suppose $X$ and $Y$ are Banach spaces whose dual spaces are isometrically isomorphic. It is certainly true that $X$ and $Y$ need not be isometrically isomorphic, but must it be true that there is a ...
20
votes
3
answers
4k
views
What is the origin of the term "spectrum" in mathematics?
The use of the term "spectrum" to denote the prime ideals of a ring originates from the case that the ring is, say, $\mathbb{C}[T]$ where $T$ is a linear operator on a finite-dimensional vector space; ...
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): ...
8
votes
3
answers
698
views
L_p norm balls for 1<p<2 - is it always similar to an L_q norm ball for some q>2?
The L_1 ball in 2D is shaped like a diamond (L_1 is also known as the Manhattan norm). The L_∞ ball is shaped like a square (L_∞ is also known as the supremum norm). They are similar, i.e. have same ...
11
votes
2
answers
862
views
Monotone Lipschitz embedding ?
In 1974, Aharoni proved that every separable metric space (X, d) is Lipschitz isomorphic to a subset of the Banach space c_0.
Thus, for some constant L, there is a map K: X --> c_0 that satisfies the ...
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 ...
2
votes
1
answer
168
views
Local supporting points of Lipschitz functions
Let X be a separable reflexive Banach space and f:X\to\mathbb{R} be a
Lipschitz function. Say that a point x in X is a local supporting point
of f if there exist x^* in X^* and an open neighborhood U ...
5
votes
1
answer
514
views
Request for reference: Banach-type spaces as algebraic theories.
Sparked by Yemon Choi's answer to Is the category of Banach spaces with contractions an algebraic theory? I've just spent a merry time reading and doing a bit of reference chasing. Imagine my delight ...
7
votes
1
answer
570
views
Categorical duals in Banach spaces
Near the bottom of the nlab page for Banach space I see "To be described: duals (p+q=pq)".
Are $(\mathbb{R}^n)_p$ and $(\mathbb{R}^n)_q$ dual objects in the closed symmetric monoidal category of ...
26
votes
3
answers
2k
views
Universality of zeta- and L-functions
Voronin´s Universality Theorem (for the Riemann zeta-Function) according to Wikipedia: Let $U$ be a compact subset of the "critical half-strip" $\{s\in\mathbb{C}:\frac{1}{2}<Re(s)<1\}$ with ...
7
votes
3
answers
2k
views
What are some interesting sequences of functions for thinking about types of convergence?
I'm thinking about the basic types of convergence for sequences of functions: convergence in measure, almost uniform convergence, convergence in Lp and point wise almost everywhere convergence. I'm ...
4
votes
3
answers
6k
views
Advantages of a back-propagation neural network over other function approximation methods
Hello.
Let's say I have a set of input vectors $I = \{\mathbf{x_1}, \dots, \mathbf{x_k}\} \subset \mathcal{R}^m$ and a set of output vectors $O = \{\mathbf{y_1}, \dots, \mathbf{y_k}\} \subset \...
6
votes
1
answer
726
views
The "ultimate" indefinite inner product space
This can be considered as a relative of Splitting a space into positive and negative parts.
Is there a real (non-trivial) vector space $V$, endowed with a nondegenerate symmetric bilinear pairing $\...
10
votes
1
answer
635
views
What's the nearest algebraic theory to inner product spaces?
Following the references to the accepted answer to Is the category of Banach spaces with contractions an algebraic theory? one discovers that there is an algebraic theory (infinitary) which is closely ...
6
votes
2
answers
1k
views
Closed, complemented subspaces of $l^1(X)$ when $X$ is uncountable
... are all isomorphic to $l^1$ on some other index set. At least, that much I "know" from 2nd-hand sources, since the original proof is apparently in a paper of Köthe from the 1930s 1960s (in ...
4
votes
1
answer
321
views
What functorial topologies are there on the space of linear maps between LCTVS?
Setup: we consider the category of locally convex topological vector spaces with morphisms as continuous linear maps. This time, I'm explicitly allowing the axiom of choice (or at least the Hahn-...
3
votes
3
answers
2k
views
Conditional expectation of convolution product equals..
Let $X, Y$ be two $L^1$ random variables on the probablity space $(\Omega, \mathcal{F}, P)$. Let $\mathcal{G} \subset \mathcal{F}$ be a sub-$\sigma$-algebra.
Consider the conditional expectation ...
5
votes
2
answers
765
views
Can we distinguish the algebraic and continuous duals of a Banach space without choice (or HBT)?
The algebraic dual of a normed vector space is the space of all linear functionals to the ground field (either $\mathbb{R}$ or $\mathbb{C}$ for this question). The continuous dual is the subspace of ...
4
votes
5
answers
3k
views
Generalize Fourier transform to other basis than trigonometric function
The Fourier transform of periodic function $f$ yields a $l^2$-series of the functions coefficients when represented as countable linear combination of $\sin$ and $\cos$ functions.
In how far can this ...
9
votes
2
answers
1k
views
Explicitly describing extreme points of infinite dimensional convex sets
I am currently trying to apply some results from Choquet theory - i.e., the generalisation of results by Minkowski and Krein-Milman for representing points in a compact, convex set C by probability ...
5
votes
3
answers
230
views
Is the Fell-Doran problem trivial in a topological setting?
The Fell-Doran problem is a problem in functional analysis. It goes as follows: Let $A$ be a complex unital algebra, $X$ a locally convex space, and $L(X)$ the algebra of all continuous endomorphisms ...
3
votes
4
answers
1k
views
Is there a use for a Hilbert space that uses a different norm than the one induced by the inner product?
$l_1$ minimization / compressed sensing comes to mind. Does anyone have any concrete examples? Or is such a construct completely useless?
9
votes
1
answer
395
views
Is there a coalgebraic characterisation of the hyperfinite II_1 factor?
Peter Freyd showed that the real interval [0, 1] is a final coalgebra for a functor on sets equipped with two points, which sends such a set to the 'wedge' of two copies of itself, identifying the ...
3
votes
0
answers
383
views
Neglect of Compact Quantum Metric Spaces [closed]
Does anyone have an opinion on Rieffel's theory of compact quantum metric spaces? To me it seems to be a very interesting new area of mathematics. It shows how to generalise complicated geometric ...
9
votes
1
answer
611
views
opposite Banach space
I heard this from Haskell Rosenthal many years ago.
If V is a complex vector space, say the opposite of V is the complex vector space with the same elements, the same operations except switch scalar ...
12
votes
3
answers
530
views
Making an l_2 distance out of l_1 distance
If we think of the l1 distance as a grid-distance between points, then we can think of l2 distance as what we get when we "shortcut" the grid by going "inside" a cell.
Making the grid finer doesn't ...
3
votes
1
answer
2k
views
Hilbert Space as direct sum of subspaces with cyclic vectors
Ok,so this should be easy, however I havent taken functional analysis for a while. But given a compact self-adjoint operator on a hilbert space H(over the complex numbers), we define v to be a cyclic ...
2
votes
1
answer
493
views
Convergence of Affine Transformations
Hi,
I was wondering if anyone could point me to any sources regarding the convergence of iterated affine transformation, i.e. sequences where {a_n} is a set of affine transforms and the sequence:
...
3
votes
1
answer
914
views
Range of a Certain Linear Operator
Consider the following hermitian form on the sobolev space H^1(I), of an interval I:
g(u,v):= \int_I (du/dt dv/dt - \rho(t) u v)dt, where \rho is a nice bounded function on I.
Riesz representation ...