この完全な表記をLaTeXで記述する方法

Question

これをLaTeXでどう書けばよいか教えてください。配列で書こうとしたのですが、\underset満足のいく結果になりませんでした。

Answer 1

補足tikz-cdとして、LaRiFaRiによる素敵な回答そして、いくつかの小さなトリック。

1. 最初の列と 2 番目の列の間の間隔が狭くなります。
2. \mathbb{R}上部の上付き文字の幅が 0 に設定されたため、バランスが良くなりました。

\documentclass{article}
\usepackage{amsmath}
\usepackage{mathtools}
\usepackage{amssymb}
\usepackage{tikz-cd}

% from https://tex.stackexchange.com/a/216042/4427
\tikzset{
  symbol/.style={
    draw=none,
    every to/.append style={
      edge node={node [sloped, allow upside down, auto=false]{$#1$}}}
  }
}

\begin{document}

\[
\begin{tikzcd}[row sep=small]
&[-1.5em] & \mathbb{R}^{\mathrlap{n}} \\
\mathbb{R}^m \arrow[r,symbol={\supset}] &
U \arrow[r,"f"] &
V \arrow[r,"g"] \arrow[u,symbol={\subset}]&
\mathbb{R}^k \\
& a \arrow[u,symbol={\in}] \arrow[r,mapsto] & b \arrow[u,symbol={\in}]
\end{tikzcd}
\]

\end{document}