I posted this in Tag merging and synonyms, but it's attracted no votes and no comments, so I figure maybe nobody's watching over there. http://math.stackexchange.com/tags/theorem-provers/info links to automated-theorem-proving, which has no summary or tag wiki and appears indistinguishable. The...
Let $X$ be a normed space and let $Y$ be a subspace of $X$. Then every every $G \in BL(Y,K^n)$ has an extension $F \in BL(X,K^n)$. If in particular, the norm on $K^n$ is the norm $||\cdot||_{\infty}$, then every $G \in BL(Y,K^n)$ has a norm preserving extension $F \in BL(X,K^n)$. Also every $G...
I think this should be an easy question? However, a quick google search has not revealed the confirmation I want, so I am posting here. If we have a function $f(x,y)$ and a monotonic transformation $g$. Let us now consider a monotonic transformation of $f$ using $g$: that is, let $v(x,y) = g(f(x...
« first day (1216 days earlier) ← previous day next day → last day (3125 days later) »