نمایش مبدأ برای عدد اصلی

در [[ریاضیات]]، '''اعداد کاردینال''' {{انگلیسی|Cardinal Numbers}} (یا '''اعداد اصلی''' یا صرفاً '''کاردینال‌ها''')، تعمیم [[اعداد طبیعی]] اند که جهت اندازه‌گیری [[کاردینالیتی]] (اندازه) مجموعه‌ها از آن استفاده می‌شود. کاردینالیتی یک [[مجموعه متناهی]] همیشه عددی طبیعی است که برابر با همان تعداد اعضای مجموعه می‌باشد. اعداد کاردینال ''[[ترامتناهی]]'' را اغلب با استفاده از حرف [[عبری]] <math>\aleph</math> نمایش می‌دهند که به دنبال آن زیرنویسی<ref name=":0">{{Cite web|date=2020-04-11|title=Comprehensive List of Set Theory Symbols|url=https://mathvault.ca/hub/higher-math/math-symbols/set-theory-symbols/|access-date=2020-09-06|website=Math Vault|language=en-US}}</ref> قرار داده می‌شود که توصیف کننده اندازه مجموعه‌های [[نامتناهی]] است.

کاردینالیتی را براساس [[تناظر دو سویه|تناظر دوسویه]] تعریف می‌کنند. دو مجموعه دارای کاردینالیتی یکسانی اند اگر و تنها اگر تناظر دوسویه ای بین اعضای آن دو مجموعه وجود داشته باشد. در حالتی که مجموعه‌ها متناهی باشند، کاردینال مجموعه‌هایی که با هم کاردینال برابری دارند برابر با همان مفهوم شهودی اندازه مجموعه است. در مواردی که مجموعه‌ها نامتناهی باشند، رفتار کاردینالیتی‌شان کمی پیچیده‌تر می‌شود. در قضیه ای بنیادی از [[گئورگ کانتور]]، نشان داده شده که ممکن است مجموعه‌های نامتناهی دارای کاردینالیتی‌های متفاوتی باشند، مثلاً در مورد خاص [[اعداد حقیقی]]، کاردینال این اعداد بزرگتر از کاردینال اعداد طبیعی است. همچنین ممکن است [[زیرمجموعه محض|زیرمجموعه محضی]] از یک مجموعه نامتناهی دارای کاردینالی برابر با مجموعه اولیه باشد، در حالی که چنین حالتی در مورد مجموعه‌های متناهی هرگز رخ نمی‌دهد.

دنباله ترامتناهی از اعداد کاردینال وجود دارد:

:<math>0, 1, 2, 3, \ldots, n, \ldots ; \aleph_0, \aleph_1, \aleph_2, \ldots, \aleph_{\alpha}, \ldots.\ </math>

این دنباله با اعداد حسابی شامل صفر شروع می‌شود (کاردینال‌های متناهی)، و سپس اعداد الف (کاردینال‌های نامتناهی از [[مجموعه خوش ترتیب|مجموعه‌های خوش ترتیب]]) در پی آن می‌آیند. اعداد الف توسط [[عدد ترتیبی|اعداد ترتیبی]] اندیس گذاری می‌شوند. تحت فرض [[اصل موضوع انتخاب]]، این دنباله ترامتناهی شامل تمام کاردینال‌ها می‌شود. اگر کسی آن اصل را رد کند، شرایط پیچیده‌تر خواهد شد، به گونه ای که وجود کاردینال‌های نامتناهی بیشتری غیر از الف‌ها تأیید خواهد شد.

مطالعه خود کاردینالیتی به عنوان بخشی از [[نظریه مجموعه‌ها]] مطالعه می‌شود. همچنین از آن به عنوان ابزاری جهت استفاده در شاخه‌های ریاضیات شامل [[نظریه مدل]]، [[ترکیبیات]]، [[جبر مجرد]] و [[آنالیز ریاضی]] مورد استفاده واقع می‌شود. در [[نظریه رسته‌ها]]، اعداد کاردینال تشکیل اسکلتی برای [[رسته مجموعه‌ها]] می‌دهند.

== قوانین عدد کاردینال ==
اعداد اصلی از قوانین زیر پیروی می‌کنند:

:۱. هر مجموعهٔ A متناظر با یک عدد اصلی موسوم به <math>card{A} \!</math> است و هر عدد اصلی a متناظر با مجموعه‌ای مانند A است که <math>card{A} = a \!</math> .
:۲. <math>card{A} = 0 \!</math> [[اگر و فقط اگر]] A تهی باشد.
:۳. اگر A یک مجموعهٔ ناتهی و متناهی باشد که <math>A \sim \big\{ 1,2,3,...k \big\} \!</math> (k یک عدد طبیعی است) آنگاه <math>card{A} = k \!</math> .
:۴. به ازای دو مجموعهٔ دلخواه A و B, <math> card{B} = card{A} \!</math> [[اگر و تنها اگر]] <math>A \sim B \!</math>

عدد اصلی هر مجموعهٔ متناهی، برابر با یک [[عدد طبیعی]] است؛ و برای مجموعه‌های نامحدود [[اعداد ترامتناهی]] می‌شود:

:<math>0, 1, 2, 3, \cdots, n, \cdots ; \aleph_0, \aleph_1, \aleph_2, \cdots, \aleph_{\alpha}, \cdots. \!</math>
که هم شامل اعداد طبیعی می‌شود و هم اعداد نامتناهی که هر <math>\aleph_\alpha \!</math> متناظر با یک [[مجموعه خوش ترتیب]] است. کوچک‌ترین عدد نامتناهی <math>\aleph_0</math> است که برابر اندازهٔ مجموعهٔ اعداد طبیعی است.

همچنین، عدد اصلی متناظر با مجموعهٔ غیرقابل شمارش [[اعداد حقیقی]] برابر <math>2^{\aleph_0} \!</math> است، که با <math>c \!</math> نشان داده می‌شود. اعداد اصلی

== فرض پیوستار ==
بر طبق [[فرض پیوستار]] هیچ عدد اصلی ما بین <math>\aleph_0 \!</math> و <math>2^{\aleph_0}\!</math> موجود نیست پس داریم:
: <math>2^{\aleph_0}=\aleph_1</math>

== جستارهای وابسته ==
* [[عدد اردینال]]

== منابع ==
{{پانویس}}
* {{یادکرد|کتاب=مبانی ریاضیات|نویسنده= امیر هوشنگ یمینی| ناشر= مرکز نشر [[دانشگاه امیر کبیر]]| شابک=964-463-034-3| سال =۱۳۷۹}}
* [http://highered.mcgraw-hill.com/sites/0072880082/information_center_view0 ریاضیات گسسته و کاربردهای آن] {{نشان زبان|en}}
{{چپ‌چین}}
* Sudkamp, T. A. , ''An Introduction to the Theory of Computer Science, Languages and Machines'', 3rd ed. , Pearson Education, Inc. , 2006. {{ISBN|0-321-32221-5|en}} [http://www.amazon.com/Languages-Machines-Introduction-Computer-Science/dp/0321322215]
{{پایان چپ‌چین}}
{{نظریه مجموعه‌ها}}
{{دستگاه اعداد}}
{{بی‌نهایت}}

[[رده:اعداد کاردینال]]
[[رده:ریاضیات مقدماتی]]
[[رده:نظریه مجموعه‌ها]]