Commit 652e3237 authored by Xin's avatar Xin

fix spaces

parent 7022934a
\begin{mhmodnl}[creators=Xin]{arity}{zhs}
\begin{definition}
把一个 \mtrefi[functions?domain]{定义域}\mtrefi[cartesian-product?Cartesian-product]{笛卡尔乘积} 的函数视作接受多个 \mtrefis[functions?argument]{参数} 的函数。则$\fun{f}{\ncartli{A}1k}{B}$\defi[name=arity]{元数}$k$
把一个\mtrefi[functions?domain]{定义域}\mtrefi[cartesian-product?Cartesian-product]{笛卡尔乘积}的函数视作接受多个\mtrefis[functions?argument]{参数}的函数。则$\fun{f}{\ncartli{A}1k}{B}$\defi[name=arity]{元数}$k$
\end{definition}
\begin{definition}
称一个 \mtrefi[arity]{元数}$k$\mtrefi[functions?function]{函数}\defi[name=nary]{$k$}(函数)。具体而言有 \defi[name=unary]{一元} ($k=1$),\defi[name=binary]{二元} ($k=2$),\defi[name=ternary]{三元} ($k=3$)。某一对象 $o$ 可以被视为不接受 \mtrefi[functions?argument]{参数} 并且总是返回 $o$\mtrefi[functions?function]{函数},称其为 \defi[name=nullary]{零元} 函数。最后,如果 $n$ 未确定,则称任意 \mtrefi[?nary]{$n$} 函数 \defi[name=finitary]{有穷元}
称一个\mtrefi[arity]{元数}$k$\mtrefi[functions?function]{函数}\defi[name=nary]{$k$}(函数)。具体而言有\defi[name=unary]{一元}($k=1$),\defi[name=binary]{二元}($k=2$),\defi[name=ternary]{三元}($k=3$)。某一对象$o$可以被视为不接受\mtrefi[functions?argument]{参数}并且总是返回$o$\mtrefi[functions?function]{函数},称其为\defi[name=nullary]{零元}函数。最后,如果$n$未确定,则称任意\mtrefi[?nary]{$n$}函数\defi[name=finitary]{有穷元}
\end{definition}
\end{mhmodnl}
......
\begin{mhmodnl}[creators=Xin]{bijective}{zhs}
\begin{definition}[id=bijective.def]
\mtrefi[functions?function]{函数} $\fun{f}ST$
\defi[name=bijective]{双射的} (或 \defi[name=bijective]{一一对应} 或一个
\defi[name=bijection]{双射}), 当且仅当 $f$\mtrefi[injective?injective]{单射的}
\mtrefi[surjective?surjective]{满射的} .
\end{definition}
\begin{mhmodnl}[creators=Tianlin]{bijective}{zhs}
\begin{definition}[id=bijective.def]
称一个方程$\fun{f}ST$\defi[name=bijective]{双射的},当且仅当$f$\mtrefi[injective?injective]{单射}的和\mtrefi[surjective?surjective]{满射}的。
\end{definition}
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
\ No newline at end of file
%%% End:
\begin{mhmodnl}[creators=Tianlin]{cartesian-space}{zhs}
\begin{definition}[id=ndimCartesianspace.def]
$A$为一个集合,则$A$上的\defi[name=nCartSpace]{$n$维笛卡尔空间}$\ndim{A}{n}$
$\bsetst{a,n}{\ntupli{a}1n}{\text{$\inset{\livar{a}i}A$,对于所有
$\betweenee{i}1n$}}$
$A$为一个集合,则称$A$上的\defi[name=nCartSpace]{$n$维笛卡尔空间}$\ndim{A}{n}$$\bsetst{a,n}{\ntupli{a}1n}{\text{$\inset{\livar{a}i}A$,对于所有$\betweenee{i}1n$}}$
我们称$\inset{\ntupli{a}1n}{\ndim{A}n}$为一个\defi[name=vector]{向量}
\end{definition}
\end{mhmodnl}
......
\begin{mhmodnl}[creators=Xin]{class}{zhs}
\begin{definition}
\defi[name=class]{} 是一个数学对象(例如 \mtrefi[set?set]{集合})的搜集,且可以由其成员所共有的性质所无歧定义。
其准确定义取决于基础环境。
\defi[name=class]{}是一个数学对象(例如 \mtrefi[set?set]{集合})的搜集,且可以由其成员所共有的性质所无歧定义。其准确定义取决于基础环境。
\end{definition}
\begin{definition}
一个不是 \mtrefi[set?set]{集合}\mtrefi[?class]{} 称之为 \defi[name=proper-class]{真类},否则称其为 \defi[name=small-class]{小类}
一个\mtrefi[set?set]{集合}\mtrefi[?class]{}称之为\defi[name=proper-class]{真类},否则称其为\defi[name=small-class]{小类}
\end{definition}
\end{mhmodnl}
......
\begin{mhmodnl}[creators=Xin]{collection}{zhs}
\begin{definition}
一个由 \mtrefi[set?set]{集合} 组成的 \mtrefi[set?set]{集合} 也被称为集合的
\defi[name=collection]{搜集}.
一个由\mtrefi[set?set]{集合}组成的\mtrefi[set?set]{集合}也被称为集合的\defi[name=collection]{搜集}
\end{definition}
\end{mhmodnl}
%%% Local Variables:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment