Geometry in preduals of spaces of 2-homogeneous polynomials on Hilbert spaces

Let H be a (real or complex) Hilbert space. Using spectral theory and properties of the Schatten–Von Neumann operators, we prove that every symmetric tensor of unit norm in HoH is an infinite absolute convex combination of points of the form xox with x in the unit sphere of the Hilbert space. We use this to obtain explicit characterizations of the smooth points of the unit ball of HoH .

Completeness of certain function spaces

We give an example of a complete locally convex m-topology on the algebra of infinite differentiable functions on [0, 1] which is strictly coarser than the natural Frechet-topology but finer than the topology of pointwise convergence. A similar construction works on the algebra of continuous functions on [0, 1]. Using this examples we can separate different notions of diffotopy and homotopy.

Sequentially continuous non-linear fundamental systems of solutions of affine equations in locally convex spaces

According to the Mickael's selection theorem any surjective continuous linear operator from one Fr\'echet space onto another has a continuous (not necessarily linear) right inverse. Using this theorem Herzog and Lemmert proved that if $E$ is a Fr\'echet space and $T:E\to E$ is a continuous linear operator such that the Cauchy problem $\dot x=Tx$, $x(0)=x_0$ is solvable in $[0,1]$ for any $x_0\in E$, then for any $f\in C([0,1],E)$, there exists a continuos map $S:[0,1]\times E\to E$, $(t,x)\mapsto S_tx$ such that for any $x_0\in E$, the function $x(t)=S_tx_0$ is a solution of the Cauchy problem $\dot x(t)=Tx(t)+f(t)$, $x(0)=x_0$ (they call $S$ a fundamental system of solutions of the equation $\dot x=Tx+f$). We prove the same theorem, replacing "continuous" by "sequentially continuous" for locally convex spaces from a class which contains strict inductive limits of Fr\'echet spaces and strong duals of Fr\'echet--Schwarz spaces and is closed with respect to finite products and sequentially closed subspaces. The key-point of the proof is an extension of the theorem on existence of a sequentially continuous right inverse of any surjective sequentially continuous linear operator to some class of non-metrizable locally convex spaces.

Monotonically normal topological vector spaces are stratifiable

We prove that for any Hausdorff topological vector space E over the field R there exists A subset of E such that E is homeomorphic to a subset of A x R and A x R is homeomorphic to a subset of E. Using this fact we prove that E is monotonically normal if and only if E is stratifiable.

On the solvability of Hamilton's equations in Hilbert spaces

We construct a bounded function $H : l_2\times l_2 \to R$ with continuous Frechet derivative such that for any $q_0\in l_2$ the Cauchy problem $\dot p= - {\partial H\over\partial q}$, $\dot q={\partial H\over\partial p}$, $p(0) = 0$, q(0) = q_0$ has no solutions in any neighborhood of zero in R.

Three constructive examples of separable pre-Hilbert spaces nonisomorphic to their closed hyperplanes

An example of a sigma -compact infinite-dimensional pre-Hilbert space H is constructed such that any continuous linear operator T: H --> H is of the form T = lambdaI + F for some lambda is an element of R and for a finite-dimensional continuous linear operator F. A class of simple examples of pre-Hilbert spaces nonisomorphic to their closed hyperplanes is given. A sigma -compact pre-Hilbert space H isomorphic to H x R x R and nonisomorphic to H x R is also constructed.

Integral completeness of locally convex spaces

A locally convex space X is said to be integrally complete if each continuous mapping f: [0, 1] --> X is Riemann integrable. A criterion for integral completeness is established. Readily verifiable sufficient conditions of integral completeness are proved.

Whitney's type theorems for infinite dimensional spaces

It is proved that for any $f$ is an element of $C^k(L,R)$, where k is a natural number and L is a closed linear subspace of a nuclear Frechet space $X$, the function $f$ can be extended to a function of class $C^{k-1}$ defined on the entire space $X$. It is also proved that for any $f$ is an element of $C^k(L, R)$, where $k$ is a natural number of infinity and L is a closed linear subspace of a dual $X$ of a nuclear Frechet space, the function $f$ can be extended to a function of class $C^k$ defined on the entire space $X$. In addition, it is proved that under these conditions, the existence of a linear extension operator is equivalent to the complementability of the subspace.

On stratifiable locally convex spaces

In the present paper we prove several results on the stratifiability of locally convex spaces. In particular, we show that a free locally convex sum of an arbitrary set of stratifiable LCS is a stratifiable LCS, and that all locally convex F'-spaces whose bounded subsets are metrizable are stratifiable. Moreover, we prove that a strict inductive limit of metrizable LCS is stratifiable and establish the stratifiability of many important general and specific spaces used in functional analysis. We also construct some examples that clarify the relationship between the stratifiability and other properties.