xypic の円と色付き矢印

xypic の円と色付き矢印

を使っていて\usepackage[all,cmtip]{xy}、円を作成したいのですが$\overline{D_1^n}$、矢印を赤く塗り$f\circ\pi$、 を網掛けにしたいです$S^n/\mathbb{Z}^2$。 を挿入しました。dsfrac-関数、ここでdsfracを意味する

\newcommand{\dsfrac}[2]{\displaystyle{\Huge{\sfrac{#1}{#2}}}}

コードは次のとおりです:

\documentclass{book}
\usepackage[all,cmtip]{xy}
\usepackage{stix}
\usepackage{mathtools}
\usepackage{xfrac}
\usepackage[bb=ams]{mathalpha}

\begin{document}

\Large

\newcommand{\dsfrac}[2]{\displaystyle{\Huge{\sfrac{#1}{#2}}}}

\newcommand{\tonde}[1]{\bigl(#1\bigr)}

\newcommand{\Z}{\mathbb Z}

\renewcommand{\P}{\mathbb P}

\newcommand{\R}{\mathbb R}

\begin{equation}
\xymatrix{{\overline{D_1^n}}\ar@{^{(}->}[rr]^{i}\ar@{>>}[d]_{\pi_1}\ar@{^{(}->>}[drr]_{f\circ\pi_1}^{\pi_2\circ i}&&S^n\ar@{>>}[d]^{\pi_ 2}\\\dsfrac{\overline{D_1^n}}{\!\!\sim}\ar@{^{(}->>}[rr]^{f}_{\cong}&&\boxed{\dsfrac{S^n}{\Z^2}}\ar@{=}[r]&\P^n\tonde{\R}}
\end{equation}

\end{document}

どうもありがとう

答え1

を使用した解法を以下に示しますtikz-cd。これにより、この処理がいくらか簡単になります。特に、 を使用してcells=nodesボックスと円を取得できます。

コード内で文字サイズを変更する方法にいくつか問題があります。図全体を拡大したい場合は、パッケージを使用しadjustbox

\adjustbox{scale=1.5,center}{\begin{tikzcd}...\end{tikzcd}}

を網掛けする意味がよくわからなかった$S^n/\mathbb{Z}^2$ので、青色にしました。変更は簡単です。

矢印の先を変更するには、オプションarrow style=tikz, >={Triangle[length=2mm]}に追加します。矢印の先は自由に調整できます。同様のオプションとして も検討してtikzcdください。lengthwidth>={latex}

ここに画像の説明を入力してください

\documentclass{article}
\usepackage{amsmath}
\usepackage{stix}
\usepackage{tikz-cd}
\usepackage{adjustbox}

\newcommand{\Z}{\mathbb Z}
\renewcommand{\P}{\mathbb P}
\newcommand{\R}{\mathbb R}

\begin{document}

\begin{tikzcd}[arrow style=tikz, >={Triangle[length=2mm]}, cells={nodes={inner sep=2mm}}, row sep=1cm]
\overline{D_1^n}\arrow[rr, hook, "i"]\arrow[drr, red, hook, two heads, text=black, "\pi_2\circ i", "f\circ\pi_1"']\arrow[d, two heads, "\pi_1"'] 
    && S^n\arrow[d, two heads, "\pi_2"]\\
|[draw, circle, inner sep=0pt, outer sep=2pt]|\raisebox{.5ex}{$\overline{D_1^n}$}\Big/\raisebox{-.5ex}{$\sim$}\arrow[rr, hook, two heads, "f", "\cong"'] 
    && |[draw, inner sep=2pt, outer sep=2pt, text=blue]|\raisebox{.5ex}{$S^n\!$}\Big/\raisebox{-.5ex}{$\Z^2$}\arrow[r, equals] & \P^n(\R) 
\end{tikzcd}

\end{document}

関連情報