MO editors' lounge

« first day (2335 days earlier) ← previous day next day → last day (1704 days later) »

Martin Sleziak

9:03 AM

@DanieleTampieri It seems that we were editing a posts at the same time, which resulted in an edit conflict: mathoverflow.net/review/suggested-edits/125460

I will stay away from that post - so that you can make your edit.

I did not know how/where to ping you - so I sent you invitation to this room, I suppose you should get a notification about that.

I apologize for overriding your suggested edit (unintentionally).

Daniele Tampieri

9:20 AM

@MartinSleziak No problem, @MartinSleziak: apart from a few grammar corrections, my edit coincide with yours (basically $mxp \to m\times p$ and some uppercase "i"'s) therefore you didn't any harm. Regards, Daniele.

1 hour later…

Martin Sleziak

10:32 AM

@MartinSleziak deleted-tag The tag computable-functions is gone.

5 hours later…

Martin Sleziak

4:01 PM

new-tag Two new tags mixed-topologies and normed-spaces were created (in the same question).

Q: Gluing together mixed normed vector spaces with mixed topologies

This is a variant of this question. Definitions/Facts $Ball_1(X)$ denotes the unit ball (about $0$) in a normed vector space $X$. MixTop of triples of pairs $(X,\tau)$ of normed vector spaces $X$ equipped with a LC (locally convex) topology $\tau$ on $X$ making $Ball_1(X)$ complete and bou...