Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
5k views

Smooth Approximation of Indicator Function of Convex Sets in $\mathbb{R}^n$

Let $( \mathbb{R}^n, \| \cdot \|_P)$ be the $n$-dimensional Euclidean space equipped with $\ell_p$-norm $\| \cdot \|_p$ for some $p\in [1, + \infty]$. Let $A$ be a convex set in $\mathbb{R}^n$ and ...
Steve's user avatar
  • 1,127
3 votes
2 answers
435 views

A possible norm on a subspace of $C^\infty([0,1])$?

I have posted the following question (with minimal differences) on MSE some days ago, without receiving a satisfactory answer, so let me try here again. Take the vector space of infinitely ...
Delio Mugnolo's user avatar
1 vote
2 answers
872 views

$C[0,1]$ is Banach-space isomorphic to $c_0(C[0,1])$

$c_0(C[0,1])$ is the $c_0$-direct sum of countably many $C[0,1]$.How to prove $C[0,1]$ is Banach-space isomorphic to $c_0(C[0,1])$. Here,Banach-space isomorphism means a bounded invertible operator ...
Li Jingyang's user avatar
1 vote
0 answers
182 views

The real method of interpolation and operator ideals

Let $\overline{A} \mbox{ and } \overline{B}$ be n+1-tuples of Banach spaces and $T:\overline{A}\rightarrow \overline{B}$ be an interpolation operator; let $J(\overline{A})$ and (the corresponding, ...
Alexi Quevedo S.'s user avatar
0 votes
1 answer
179 views

Dense subspaces of $L^p(0,T;X)$

Given a Banach space $X$ and $1\leq p<\infty$, let's define the space $L^p(0,T;X)$ as the set of all strongly measurable functions $f:(0,T)\mapsto X$ such that $$\int_0^T\Vert f\Vert_{X}^pdt<\...
Sam's user avatar
  • 1
3 votes
1 answer
657 views

Banach space of discontinuous functions(Killing continuous functions)

Edit: According to the comment of Prof. Majer, I revise the question: For a metric space $X$, we put $A=\{f:X\to \mathbb{C}\mid \text{f is bounded}\}$. We define two semi norm on $A$ $$\...
Ali Taghavi's user avatar
3 votes
1 answer
640 views

Relationship between LlogL and Hardy spaces

I think that for positive, one-dimensional, periodic functions, the following statement is true: $$ f\in L log L(\mathbb{T})\Leftrightarrow f\in H^1(\mathbb{T}), $$ where $$ LlogL=\{f\in L^1\,s.t.\,\...
guacho's user avatar
  • 843
6 votes
3 answers
2k views

Generalized Hardy-Littlewood-Sobolev Inequality

The Hardy-Littlewood-Sobolev Inequality says that $$\text{for $p,q,r\in (1,+\infty)$ such that }\quad 1-\frac1p+1-\frac1q=1-\frac1r,\tag {$\sharp$} $$ $$ \exists C, \forall u\in L^p(\mathbb R^n),\...
Bazin's user avatar
  • 16.2k
1 vote
1 answer
237 views

Interpolation and embeddings for parabolic function spaces

I have a somewhat easy looking question on parabolic function spaces: Let $B$ be a ball in $\mathbb R^n$ and let $T>0$. Denote $Q:=B \times [0,T]$. Assume $f \in L^2(Q) \cap L^\infty(0,T; L^q(B))$ ...
Juhana Siljander's user avatar
2 votes
1 answer
577 views

When is the bound in Riesz-Thorin Interpolation Theorem attained?

Let me recall the statement of Riesz-Thorin theorem (see also http://en.wikipedia.org/wiki/Riesz%E2%80%93Thorin_theorem). Theorem (Riesz-Thorin): Let $(X,\mu)$ and $(Y,\nu)$ be $\sigma$-finite ...
Eusebio Gardella's user avatar
4 votes
1 answer
670 views

A generalization of a theorem of Grothendieck

In this question the norm of $L^{P}[0,1]$ is denoted by $\parallel . \parallel _{p}$. Let $p$ and $q$ be two arbitrary real numbers with $2<p<q$. Assume that $S$ is a subvector space of ...
Ali Taghavi's user avatar
1 vote
0 answers
295 views

Is reflexive Banach space valued scalarwise Lebesgue space isomorphic to the Bochner space?

I first specify the setting and then formulate the question precisely. (A very long post follows.) Definitions 1. For $E$ a (real Hausdorff) locally convex space, say that $E$ is suitable iff there ...
TaQ's user avatar
  • 3,584
4 votes
1 answer
280 views

Approximation of an integral over the unit ball of L_1

For every $\varepsilon>0$ find a piecewise continuous function $q:[0,1]\rightarrow \mathbb{R}$ such that $\int_0^1 q(x)dx=1$ and $$\int_{0}^1 \int_{0}^{s} \left|\frac{q(s)q(t/s)}{s}- \frac{q(t)q((s-...
Kate Juschenko's user avatar
12 votes
0 answers
435 views

Uniform closure of subspaces of Baire class 1

Describe a uniformly closed linear subspace $A \subset C([0,1])$ such that the space $B_1(A)$ is not uniformly complete. Here $B_1(A)$ is the set of all bounded functions $f$ which are pointwise ...
Fred Dashiell's user avatar
16 votes
3 answers
1k views

A natural center of a convex weakly compact set in Banach space

Question: Let $S$ be a convex weakly compact set in Banach space $H$. Propose a natural way to define the unique center $O \in S$. Motivation: A lot! For example, in game theory $S$ can be a set of ...
Bogdan's user avatar
  • 161
6 votes
2 answers
2k views

How to prove the Hahn-Banach constructively

I am just wondering, how to prove the Hahn-Banach theorem constructively for a finite dimensional normed vector space. Thanks in advance for any helpful answers.
q.g's user avatar
  • 71
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|^...
Leandro's user avatar
  • 2,044

1
2