2021
DOI: 10.4153/s0008414x21000596
|View full text |Cite
|
Sign up to set email alerts
|

A -seeley-extension-theorem for Bastiani’s differential calculus

Abstract: We generalize a classical extension result by Seeley in the context of Bastiani’s differential calculus to infinite dimensions. The construction follows Seeley’s original approach, but is significantly more involved as not only $C^k$ -maps (for ) on (subsets of) half spaces are extended, but also continuous extensions of their differentials to some given piece of boundary of the domains under consideration. A further feature of the generalization is that we construct … Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2022
2022
2023
2023

Publication Types

Select...
2

Relationship

1
1

Authors

Journals

citations
Cited by 2 publications
(2 citation statements)
references
References 19 publications
(42 reference statements)
0
2
0
Order By: Relevance
“…Remark 1 • It is immediate from Lemma 1 that the definition made in (12) does not depend on the explicit choice of the fundamental system H ⊆ Sem(F). • Since we will make use of the differentiability results obtained in [8], we explicitly mention that in [8] an equivalent definition of Mackey convergence (more suitable for the technical argumentation there) was used.…”
Section: Mackey Convergencementioning
confidence: 99%
“…Remark 1 • It is immediate from Lemma 1 that the definition made in (12) does not depend on the explicit choice of the fundamental system H ⊆ Sem(F). • Since we will make use of the differentiability results obtained in [8], we explicitly mention that in [8] an equivalent definition of Mackey convergence (more suitable for the technical argumentation there) was used.…”
Section: Mackey Convergencementioning
confidence: 99%
“…If U may not be open, but has dense interior U o and is locally convex in the sense that each x ∈ U has a convex neighborhood in U , following [15] a map f : [13], cf. [17]).…”
Section: Consider Locally Convex Spaces E F and A Mapmentioning
confidence: 99%