Настройка нумерации подуравнений в детализированном списке

Question

Это продолжение вопросанумерация подуравнений в детализированном списке.

\documentclass[10pt]{article}

% for fancy math
\usepackage{amsmath}

% rank operator
\DeclareMathOperator*{\rank}{rank}

% Matrix transpose
\newcommand{\trans}[1]{\ensuremath{{#1}^\top}}

% for extra space at the end of abbreviation
\usepackage{xspace}

% positive semi-definite
\newcommand{\psd}{\textsc{psd}\xspace}

% boldface uppercase letters for matrices
\newcommand{\Abf}{\ensuremath{\mathbf A}}
\newcommand{\Bbf}{\ensuremath{\mathbf B}}

% boldface lowercase letters for vectors
\newcommand{\xbf}{\ensuremath{\mathbf x}}

% for math blackboard font
\usepackage{amssymb}
% set of real numbers
\newcommand{\Rbb}{\ensuremath{\mathbb R}}

\usepackage{palatino}
\usepackage[sc]{mathpazo}

\begin{document}
\noindent
For any real symmetric matrcies $\Abf$ such that $\rank(\Abf_{n\times n})=r$,
the following statements are equivalent
and any one of them can serve as the definition of
\emph{positive semi-definite} (\psd) matrices.
\begin{subequations}
\begin{itemize}
  \item $\trans\xbf \Abf\xbf \geq 0$ for any non-zero vector
    $\xbf\in\Rbb^{n\times 1}$.
    \hfill\refstepcounter{equation}\textup{(\theequation)}%
  \item All the $n$ eigenvalues of $\Abf$ are non-negative.
    \hfill\refstepcounter{equation}\textup{(\theequation)}%
  \item $\Abf=\trans\Bbf \Bbf$ for some $\Bbf$ with $\rank(\Bbf)=r$.
    \hfill\refstepcounter{equation}\textup{(\theequation)}%
\end{itemize}
\end{subequations} 
\end{document}

Теперь я хотел бы настроить метки (1a)и отделить определения от других типичных номеров уравнений.(1b)(1c)

• Я бы хотел обозначить их как (def1), (def2), и (def3).
• Но я все равно хочу использовать subequationsокружение, потому что хочу ссылаться на них как на уравнение с помощью eqrefкоманды.

Как я могу это сделать?

Answer 1

Вы можете ввести новый счетчикmysub

\newcounter{mysub}
\setcounter{mysub}{0}
\renewcommand{\themysub}{def\arabic{mysub}}

и использовать его вместо того, чтобы использовать \theequationвнутри subequations.

Если вы также хотите, чтобы этот счетчик был сброшен после окончания subequations, добавьте также следующие строки

\usepackage{etoolbox}
\AtEndEnvironment{subequations}{\setcounter{mysub}{0}}

МВЭ:

\documentclass[10pt]{article}

% for fancy math
\usepackage{amsmath}

% rank operator
\DeclareMathOperator*{\rank}{rank}

% Matrix transpose
\newcommand{\trans}[1]{\ensuremath{{#1}^\top}}

% for extra space at the end of abbreviation
\usepackage{xspace}

% positive semi-definite
\newcommand{\psd}{\textsc{psd}\xspace}

% boldface uppercase letters for matrices
\newcommand{\Abf}{\ensuremath{\mathbf A}}
\newcommand{\Bbf}{\ensuremath{\mathbf B}}

% boldface lowercase letters for vectors
\newcommand{\xbf}{\ensuremath{\mathbf x}}

% for math blackboard font
\usepackage{amssymb}
% set of real numbers
\newcommand{\Rbb}{\ensuremath{\mathbb R}}

\usepackage{palatino}
\usepackage[sc]{mathpazo}

\usepackage{etoolbox}
\AtEndEnvironment{subequations}{\setcounter{mysub}{0}}

\newcounter{mysub}
\setcounter{mysub}{0}
\renewcommand{\themysub}{def\arabic{mysub}}

\begin{document}
\noindent
For any real symmetric matrcies $\Abf$ such that $\rank(\Abf_{n\times n})=r$,
the following statements are equivalent
and any one of them can serve as the definition of
\emph{positive semi-definite} (\psd) matrices.
\begin{subequations}\label{eq:1}
\begin{itemize}
  \item $\trans\xbf \Abf\xbf \geq 0$ for any non-zero vector
    $\xbf\in\Rbb^{n\times 1}$.
    \hfill\refstepcounter{mysub}\textup{(\themysub)}\label{eq:1a}%
  \item All the $n$ eigenvalues of $\Abf$ are non-negative.
    \hfill\refstepcounter{mysub}\textup{(\themysub)}%
  \item $\Abf=\trans\Bbf \Bbf$ for some $\Bbf$ with $\rank(\Bbf)=r$.
    \hfill\refstepcounter{mysub}\textup{(\themysub)}%
\end{itemize}
\end{subequations}

\noindent
We refer to the global equation \eqref{eq:1} and to subequation \eqref{eq:1a}

\end{document} 

Выход:

Answer 2

Возможно, это то, что вы хотите, но не уверен.

\begin{align}
& \hspace*{-3cm} \bullet \;\; \trans\xbf \Abf\xbf \geq 0 \text{  for any non-zero vector } \xbf\in\Rbb^{n\times 1}.\tag{def1} \label{ok} \\
& \hspace*{-3cm} \bullet \;\;  \text{ All the } n\text{ eigenvalues of } \Abf  \text{are non-negative}.\tag{def2} \label{ok2} \\
& \hspace*{-3cm} \bullet \;\;  \Abf=\trans\Bbf \Bbf  \text{ for some } \Bbf \text{ with } \rank(\Bbf)=r. \tag{def3} \label{ok3} 
\end{align}
This is Eq.\eqref{ok} and not quite Eq.\eqref{ok2}