
Я использую \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
опциям. Вы можете настроить length
и width
наконечников стрелок так, как вам нравится. Вы также можете рассмотреть >={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}