arXiv Science⌕ 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

Spaces with the maximal projection constant revisited

Let $n \geq 2$ be an integer such that an equiangular set of vectors $w_1, \ldots, w_d$ of the maximal possible cardinality (that is, attaining the classical Gerzon upper bound) exists in $\mathbb{K}^n$, where $\mathbb{K}=\mathbb{R}$ or $\mathbb{K}=\mathbb{C}$ (so that $d=\frac{n(n+1)}{2}$ in the real case and $d=n^2$ in the complex case). We provide a complete characterization of $n$-dimensional normed spaces whose absolute projection constant is maximal among all $n$-dimensional normed spaces over $\mathbb{K}$. The characterization states that $X$ has the maximal projection constant if and only if it is isometric to a space whose dual unit ball is contained between the absolutely convex hull of the vectors $w_1, \ldots, w_d$ and a suitably rescaled zonotope generated by the same vectors. As a consequence, we obtain that, in the considered situations, $n=2$ with $\mathbb{K}=\mathbb{R}$ is the only case in which there is, up to isometry, a unique norm on $\mathbb{K}^n$ with the maximal projection constant. In this case, the unit ball is a linear image of a regular hexagon in $\mathbb{R}^2$.

math.FA↗
arXiv2026

Subdyadic time-frequency analysis: Gabor frames, modulation spaces, and Miyachi multipliers

We present a time-frequency framework adapted to dispersive phase functions via a subdyadic geometry in phase space. On top of this geometry we construct stable frequency-adaptive Gabor-type frames with quantitative control of overlap, almost orthogonality, and off-diagonal decay. Based on these frames we introduce modulation spaces consistent with the subdyadic scale and establish window and lattice independence, identifications in the Hilbertian case, duality, and natural inclusion relations. Within this setting we study high-frequency H"ormander--Miyachi multipliers, relying on discrete block almost diagonalization and direct localization estimates for the primal and canonical dual frames, and obtain boundedness on weighted modulation spaces. Finally, we give a subdyadic Gabor-frame characterization of H"ormander's classical local wavefront set and recover the standard microlocality and ellipticity properties of order-zero pseudodifferential operators. Taken together, these results provide a unified analytical framework for time--frequency analysis, dispersive multiplier theory, and local microlocal analysis in the subdyadic geometry.

math.FA↗
arXiv2026

B-Frames, B-Riesz bases, and Their tensor products

Like g-frames, b-frames were introduced to generalize the concept of frames, allowing for broader applications in signal processing and other fields. The advantage of b-frames resides in their simpler definition, which may lead to reduced processing times. In this paper, we define dual b-frames and b-Riesz bases which were not precisely defined in previous literature and provide several characterizations of b-Riesz bases. We prove that the tensor product of two sequences, each lying in a Hilbert space, constitutes a b-frame (or a b-Riesz basis) if and only if both components of the product are b-frames (or b-Riesz bases). Finally, we establish a correspondence between b-frames and g-frames and propose a process for constructing frames induced by b-frames.

math.FA↗