集合$X$の濃度は
$\lvert X\rvert$ をよく使います。
縦棒が多くて混乱しそうなとき、割り切るとか書きたいときとかは、 $\# X$ を使うこともあります。
集合$X$の冪集合は $\mathscr{P}(X)$ をよく使います。
$2^X$ もときどき使いますが、むしろなんで冪集合の記号が $2^X$ という記号になっているんだろうねという問いとして使うことが多いです。
集合$X$の濃度は
$\lvert X\rvert$ をよく使います。
縦棒が多くて混乱しそうなとき、割り切るとか書きたいときとかは、 $\# X$ を使うこともあります。
集合$X$の冪集合は $\mathscr{P}(X)$ をよく使います。
$2^X$ もときどき使いますが、むしろなんで冪集合の記号が $2^X$ という記号になっているんだろうねという問いとして使うことが多いです。
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.