عنصر (ریاضیات)

عنصر الگو:به انگلیسی یا عضو الگو:به انگلیسی یک مجموعه در ریاضیات، هر یک از اشیاء متمایزیست که مجموعه را تشکیل می‌دهند.

مجموعه‌ها

نوشتنالگو:رچ A = {۱, ۲, ۳, ۴} الگو:چر بدان معنی است که عناصر مجموعه A اعداد ۱, ۲, ۳ و ۴ هستند. مجموعه‌های متشکل از عناصر A، مانند {۲, ۱}، زیر مجموعههای از A هستند.

مجموعه‌ها خود می‌توانند عنصر باشند؛ برای مثال، مجموعهالگو:رچ B = {۱, ۲, {۳, ۴}} الگو:چر را در نظر بگیرید. . عناصر B در واقع ۱، ۲، ۳ و ۴ نیستند. در عوض، B تنها سه عنصر دارد: یعنی اعداد ۱ و ۲ و مجموعه {۳, ۴}. عناصر یک مجموعه می‌تواند هر چیزی باشد. برای مثال { قرمز , سبز، آبی } = C است مجموعه‌ای که عناصر رنگ قرمز و سبز و آبی.

نمادگذاری و اصطلاحات

اولین استفاده از نماد ϵ در اثر «اصول حساب، ارائه شده با نمایشی نوین» از جوزپه پئانو.

رابطه ی «عنصریست از»، همچنین عضویت مجموعه‌ای گفته می‌شود و با نماد «ϵ» نوشته می‌شود. نوشتن

$x\in A$

به این معنیست که «x یک عنصر از A است». عبارات معادل، «x عضوی از A است»، «x متعلق به A است»، «x در A است» و «x در A قرار دارد» هستند. عبارات «A شامل x است" و «A در بردارنده x است» همچنین جهت بیان عضویت مجموعه‌ای بیان می‌شوند؛ اگرچه، برخی مولفین آن‌ها را به برای تبیین «x زیر مجموعهای از A است» بکار می‌برند. منطق دان جرج بولوس به شدت اصرار داشت که «دربردارد» (به انگلیسی: contains) تنها برای عضویت استفاده شود و «شامل است» (به انگلیسی: includes) تنها برای رابطهٔ زیر مجموعگی بکار رود.

یک نمادگذاری دیگر برای همان رابطه

$A\ni x,$

است که به معنای «A در بردارنده x است» هر چند از آن کمتر استفاده می‌شود.

نقیض عضویت مجموعه‌ای با نماد «∉» نشان داده می‌شود. نوشتن

$x\notin A$

به این معنیست که «x عنصری از A نیست».

نماد ϵ برای اولین بار توسط جوزپه پئانو در سال ۱۸۸۹ و در اثرش «اصول حساب، ارائه شده با نمایشی نوین» (به لاتین: Arithmetices principia nova methodo exposita) استفاده شد. در آن، در صفحهٔ X نوشته شده:الگو:چپ‌چین

"Signum ϵ significat est. Ita a ϵ b legitur a est quoddam b; ..."

الگو:پایان چپ‌چین که به معنیست که

«نماد ϵ به معنی است می‌باشد؛ بنابراین a ϵ b به‌صورت a، یک b است، خوانده می‌شود.

نماد، خود تلطیفی از حرف کوچک یونانی اپسیلون («ε») است. حرف اول کلمه [۱]ἐστί که به معنی «است» می‌باشد.

کاراکترهای یونیکد برای این نمادها، U+2208 («عنصرِ») U+220B («شامل می‌شود، به عنوان عضو») و U+2209 («عضو نیست» هستند. دستورهای معادل در تک، دستورهایِ «\»، «in\» و «notin\» هستند. متمتکیا، دستورهایِ «[Element]\» و «[NotElement]\» را دارد.

کاردینالیتی مجموعه‌ها

تعداد عناصر در یک مجموعه مشخص، خاصیتی‌ست که به عنوان کاردینالیتی شناخته می‌شود؛ که به صورت غیررسمی، اندازه یک مجموعه است. در مثال‌های بالا، کاردینالیتی مجموعه A برابر با ۴ است، در حالی که کاردینالیتی هر کدام از مجموعه‌های B و C، برابر با ۳ است. یک مجموعه نامتناهی، مجموعه‌ای با یک تعداد نامتناهی عنصر است، در حالی که یک مجموعه متناهی، یک مجموعه با تعدادی متناهی عنصر است. مثال‌های فوق، نمونه‌هایی از مجموعه‌های متناهی هستند. مثالی از یک مجموعه نامتناهی، مجموعه اعداد صحیح مثبت = { ..., ۴, ۴, ۲, ۱ } است.

نمونه

با استفاده از مجموعه‌های تعریف شده در بالا، یعنی الگو:رچ A = {۱, ۲, ۳, ۴ }, B = {۱, ۲, {۳, ۴الگو:چر و { قرمز، سبز، آبی } = C:

• ۲ ∈ A
• {۳٬۴} ∈ B
• ۳٬۴ ∉ B
• {۳٬۴} عضوی از B است.
• زرد ∉ C
• کاردینالیتی الگو:رچD = { ۲, ۴, ۸, ۱۰, ۱۲ } الگو:چر متناهیست و برابر با ۵ است.
• کاردینالیتی از الگو:رچP = { ۲, ۳, ۵, ۷, ۱۱, ۱۳, ...} الگو:چر (اعداد اول) بی‌نهایت است (این نکته توسط اقلیدس ثابت شده بود).

برای مطالعه بیشتر

• الگو:Citation - "Naive" means that it is not fully axiomatized, not that it is silly or easy (Halmos's treatment is neither).
• الگو:Citation
• الگو:Citation - Both the notion of set (a collection of members), membership or element-hood, the axiom of extension, the axiom of separation, and the union axiom (Suppes calls it the sum axiom) are needed for a more thorough understanding of "set element".

پیوند به بیرون

• Weisstein, Eric W. "Element". MathWorld.