Zulip Chat Archive
Stream: maths
Topic: Introduce `ℒp`?
Yury G. Kudryashov (Aug 19 2023 at 16:50):
What do you think about introducing ℒp as a subgroup of α → β and changing Memℒp to ∈ ℒp _ _ _?
Yury G. Kudryashov (Aug 19 2023 at 16:52):
Then we can make it a docs#UniformAddGroup for all p and a docs#SeminormedAddCommGroup for 1 ≤ p.
Yury G. Kudryashov (Aug 19 2023 at 17:18):
Also, toLp : ℒp → Lp will be a QuotientMap.
Last updated: Dec 20 2023 at 11:08 UTC