Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0708.1556

Seip's differentiability concepts as a particular case of the Bertram--Gloeckner--Neeb construction

Seppo I. Hiltunen
View original source ↗Read source document ↗Export metadata ↓

Abstract

From the point of view of unification of differentiation theory, it is of interest to note that the general construction principle of Bertram, Gloeckner and Neeb leading to a C^k differentiability concept from a given C^0 one, besides subsuming the Keller--Bastiani C_c^k differentiabilities on real Hausdorff locally convex spaces, also does the same to the "arc-generated" interpretation of the Lipschitz theory of differentiation by Frolicher and Kriegl, and likewise to the "compactly generated" theory of Seip's continuous differentiabilities. In this article, we give the details of the proof for the assertion concerning Seip's theory. We also give an example indicating that the premises in Seip's various inverse and implicit function theorems may be too strong in order for these theorems to have much practical value. Also included is a presentation of the BGN--setting reformulated so as to be consistent with the Kelley--Morse--Godel--Bernays--von Neumann type approach to set theory, as well as a treatment of the function space constructions and development of their basic properties needed in the proof of the main result.

Explore related subjects

math.FA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Seppo I. Hiltunen. 2007-12-21. Seip's differentiability concepts as a particular case of the Bertram--Gloeckner--Neeb construction. https://arxiv.org/abs/0708.1556

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Non-Archimedean Heisenberg-Robertson-Schrodinger and Non-Archimedean Maccone-Pati Uncertainty Principles

Let $\mathcal{X}$ be a non-Archimedean Hilbert space over a conjugated non-Archimedean valued field $\mathbb{K}$ with $\operatorname{Char}(\mathbb{K})\neq 2$. Let $A: \mathcal{D}(A)\subseteq \mathcal{X}\to \mathcal{X}$ and $B: \mathcal{D}(B)\subseteq \mathcal{X}\to \mathcal{X}$ be possibly unbounded self-adjoint linear operators. For $x \in \mathcal{D}(A)$ with $\langle x, x \rangle =1$, define $ Δ_x(A):= \|Ax- \langle Ax, x \rangle x \|.$ Then for all $x \in \mathcal{D}(AB)\cap \mathcal{D}(BA)$ with $\langle x, x \rangle =1$, we show that \begin{align*} (1) \quad Δ_x(A)+Δ_x(B)\geq \max\{Δ_x(A), Δ_x(B)\}\geq \frac{\sqrt{\bigg|\big\langle [A,B]x, x \big\rangle ^2+\big(\langle \{A,B\}x, x \rangle -2\langle Ax, x \rangle\langle Bx, x \rangle\big)^2\bigg|}}{\sqrt{|2|}} \end{align*} and \begin{align*} (2) \quad Δ_x(A)+Δ_x(B)\geq \max\{Δ_x(A), Δ_x(B)\} \geq |\langle (A+B)x, y \rangle |, \quad \forall y \in \mathcal{X} \text{ satisfying } \|y\|\leq 1, \langle x, y \rangle =0. \end{align*} Inequality (1) may be regarded as a non-Archimedean analogue of the Heisenberg-Robertson-Schrodinger uncertainty principle, while Inequality (2) serves as a non-Archimedean analogue of the Maccone-Pati uncertainty principle.

math.FA↗
arXiv2026

Divergence Liftings and Regular Factorizations for Metric Cotype

The least regular norm of a factorization of antipodal differences through sign differences on \((\mathbb Z/m\mathbb Z)^n\) is \(m/2\) when \(4\mid m\). On these tori, when \(2\sqrt n\le m\le4\sqrt n\), normalized divergence equations admit selections with pointwise norm bound \(3/2\), while the least linear lifting norm and global Lipschitz selection constant equal \(\sqrt n/2\). Higher-moment lifting bounds follow from a quoted sharp \(L_1\) inequality.

math.FA↗
arXiv2026

The Critical Value for the Beurling-Type Theorem in Weighted Bergman Spaces

For every $α>1$ we construct a finite set $A\subset\mathbb{D}$ such that the zero-based invariant subspace $I_A$ fails the wandering subspace property. Consequently, the Beurling-type theorem holds on the weighted Bergman space $A^2_α$ if and only if $-1<α\le1$, confirming a conjecture of Shimorin. As a further application, we extend the prescribed-curvature construction of Hedenmalm and Perdomo to all $α>1$, thereby replacing the constant $α_0\approx1.04$ in their result by $1$.

math.FA↗