2 papers
math.FA2025
Effros' theorem on transitive group actions with a glimpse into descriptive set theory
Jochen Wengenroth
The main aim of this note is to prove a version of a celebrated theorem of Effros about transitive group actions in a non-metrizable setting, these parts have been formalized and v…
math.FA2025
Series representation in tensor products of Banach spaces
Jochen Wengenroth
We show by a ridiculously simple argument that, for any norm on the tensor product of vector spaces, every element of the completion can be represented as a convergent series of el…