عبد العزيز: /* مراجع */

2023-07-30T17:27:32Z

مراجع

صفحة جديدة

[[ملف:Irrationnels.png|تصغير|200بك|يسار]]
في [[رياضيات|الرياضيات]]، '''عدد متسام''' {{إنج|Transcendental number}} هو كل عدد [[عدد حقيقي|حقيقي]] أو [[عدد مركب|عقدي]] لا يكون حلا لأية معادلة [[متعددة الحدود]]:

<math>a_n~x^n + a_{n-1}~x^{n-1} + \cdots + a_1~x^1 + a_0 = 0\,</math>

حيث <math>n \ge 1\,</math> وتكون المعاملات <math>a_i\,</math> [[عدد صحيح|أعدادا صحيحة]] (وبالتالي [[عدد كسري|كسري]])، وأن يكون على الأقل أحد تلك المعاملات غير منعدم. إذن يكون العدد متساميا [[إذا وفقط إذا]] لم يكن [[عدد جبري|جبريا]].

لا يمكن أن تكون الأعداد المتسامية [[عدد كسري|أعدادا كسرية]]. ومع ذلك، ليست كل [[عدد غير كسري|الأعداد غير الكسرية]] متسامية: جذر مربع العدد 2 هو عدد غير كسري، ولكنه حل للمعادلة <math>x^2 - 2 = 0\,</math>.

مجموعة الأعداد المتسامية هي مجموعة [[مجموعة قابلة للعد|غير قابلة للعد]]. و[[برهان رياضي|البرهان]] بسيط: بما أننا نستطيع [[مجموعة قابلة للعد|عد]] الحدوديات ذات معاملات صحيحة، وبما أن كل حدودية تقبل عددا منتهيا من الحلول، فإن مجموعة الأعداد الجبرية هي مجموعة قابلة للعد.
في حين، ينص برهان القطر [[غيورغ كانتور|لكانتور]] على أن مجموعة الأعداد الحقيقية (وبالتالي حتى العقدية) هي [[مجموعة غير قابلة للعد]]. وبالتالي مجموعة الأعداد المتسامية هي أيضا مجموعة غير قابلة للعد. بتعبير آخر، الأعداد الجبرية أقل بكثير من الأعداد المتسامية. ولكن عددا قليلا فقط من فئات الأعداد المتسامية معروف، ويبقى من الصعب البرهان على أن عددا ما هو عدد متسام.

'''نتائج:''' لتكن <math>\mathbb A</math> مجموعة الأعداد الجبرية الحقيقية، إذن:

<math>\mathbb A</math> [[مجموعة جزئية]] من <math>\mathbb{R}\,</math>.<ref>{{استشهاد ويب| مسار = https://id.ndl.go.jp/auth/ndlsh/00573599 | عنوان = معلومات عن عدد متسام على موقع id.ndl.go.jp | ناشر = id.ndl.go.jp|مسار أرشيف= https://web.archive.org/web/20200328201343/https://id.ndl.go.jp/auth/ndlna/00573599|تاريخ أرشيف=2020-03-28}}</ref><ref>{{استشهاد ويب| مسار = https://www.universalis.fr/encyclopedie/nombres-transcendants/ | عنوان = معلومات عن عدد متسام على موقع universalis.fr | ناشر = universalis.fr| مسار أرشيف = https://web.archive.org/web/20190726035212/https://www.universalis.fr/encyclopedie/nombres-transcendants/ | تاريخ أرشيف = 26 يوليو 2019 }}</ref><ref>{{استشهاد ويب| مسار = https://thes.bncf.firenze.sbn.it/termine.php?id=6843 | عنوان = معلومات عن عدد متسام على موقع thes.bncf.firenze.sbn.it | ناشر = thes.bncf.firenze.sbn.it| مسار أرشيف = https://web.archive.org/web/20190910041859/https://thes.bncf.firenze.sbn.it/termine.php?id=6843 | تاريخ أرشيف = 10 سبتمبر 2019 }}</ref> وبشكل خاص، المجموعة <math>\mathbb A</math> مستقرة بالنسبة للجمع والضرب.

<math>\mathbb A</math> هي مجموعة قابلة للعد، مما يدل على أن <math>\mathbb A</math> مختلفة عن المجموعة <math>\mathbb{R}\,</math>. (الأعداد المتسامية موجودة).

== تاريخ ==
من المرجح أن يكون [[غوتفريد لايبنتس|لايبنتز]] أول شخص خمن وجود أعداد لا تحقق معادلات حدودية بمعاملات جذرية. وأتت التسمية ''متسام'' في البحث الذي نشره سنة [[1682]] والذي برهن فيه على أن <math>\sin(x),</math> ليست دالة جبرية ل <math>x\,</math>.

أما أول برهان على وجود أعداد متسامية فقد كتبه [[جوزيف ليوفيل]] سنة [[1844]]، والذي تضمن بعض الأمثلة، مثل [[عدد ليوفيل]]:

حيث يكون العدد النوني بعد الفاصلة 1 إذا كان n [[عاملي|عامليا]] (أحد الأعداد 1، 2، 6، 24، 120، 720،...) ويكون 0 في الحالات الأخرى. ويمكن تقريب هذا العدد بشكل خاص [[عدد كسري|بأعداد جذرية]]. برهن ليوفيل على أن الأعداد التي تحقق هذه الخاصية (والتي تعرف باسم أعداد ليوفيل) هي أعداد متسامية.

تظنن [[يوهان هاينغيش لامبرت|يوهان هنريك لامبرت]]، في مقاله الذي برهن فيه أن العدد <math>\pi\,</math> ليس جذريا، أن العددين <math>e\,</math> و<math>\pi\,</math> هما عددان متساميان. وقد برهن [[شارل آرميت|تشارلز هيرمت]]، سنة [[1873]]، على أن العدد <math>e\,</math> هو عدد غير متسام. ليكون بذلك أول عدد برهن على أنه متسام دون أن ينشئ كذلك. وفي سنة [[1874]]، وضع [[غيورغ كانتور|جورج كانتور]] البرهان المذكور أعلاه والذي يقود إلى أن مجموعة الأعداد المتسامية [[مجموعة قابلة للعد|غير قابلة للعد]].

في سنة [[1882]]، نشر [[فيردينوند فون ليندمان]] برهانا على أن العدد <math>\pi\,</math> هو عدد متسام. برهن في البداية على أن العدد <math>e</math> مرفوع إلى أي عدد جبري هو عدد متسام، وبما أن <math>e^{i\pi} = -1\,</math> جبري، فإن <math>i\pi\,</math> ليس عدد جبري وبالتالي <math>\pi\,</math> عدد متسام. عمم [[كارل فايرشتراس|كارل ويرستراس]] هذه المقاربة في [[مبرهنة ليندمان-وايرستراس]]. وبمعرفة أن العدد <math>\pi\,</math> متسام، أمكن البرهان على استحالة عدة إنشاءات هندسية [[إنشاء بمسطرة وفرجار|بالبركار والمسطرة]]، وهذا يشمل الإنشاء الأكثر شهرة، وهو [[تربيع الدائرة]].

في سنة [[1900]]، طرح [[ديفيد هيلبرت]] سؤالا مهما بخصوص الأعداد المتسامية، يعرف باسم مسألة هيلبرت السابعة: « إذا كان a [[عدد جبري|عددا جبريا]] غير منعدم ويخالف 1، وكان b عددا جبريا [[عدد لاجذري|لاجذريا]]، فهل سيكون العدد <math>a^b\,</math> متساميا بالضرورة؟ ». وكان الجواب نعم، سنة [[1934]] بمبرهنة [[جيلفوند شنايدر]]. يستطاع بسهولة الحصول على أعداد متسامية بفضل تلك المبرهنة، مثلا: <math>2^{\sqrt{2}}\,</math>، و<math>e^\pi\,</math>.

توسع [[آلان باكر (عالم رياضيات)|آلان بيكر]] في هذا المجال في [[عقد 1960|الستينيات]].

== أعداد متسامية معروفة ==
* العدد <math>\pi\,</math> (أنظر المقال [[ط (رياضيات)|العدد باي]]).
* العدد [[ه (رياضيات)|e]] أساس [[لوغاريتم|اللوغاريتم]] الطبيعي.
* <math>e^{\pi}\,</math> [[ثابتة غيلفوند]].
* <math>2^{\sqrt{2}}\,</math> [[ثابتة غيلفوند–شنايدر|ثابتة غيلفوند-شنايدر]]. أو بشكل عام: <math>a^b\,</math> حيث <math>a \ne 0\,</math> و<math>a \ne 1\,</math> عدد جبري، و b جبري وليس جذريا. الحالة العامة لمسألة هيلبرت السابعة، أي تحديد هل العدد <math>a^b\,</math> متسام أم لا عندما يكون <math>a \ne 0\,</math> و<math>a \ne 1\,</math> عددا جبريا و b لاجذريا، لم تحل إلى الآن.
* <math>(-1)^{-i}\,</math> وهو العدد <math>e^{\pi}</math> للسبب المذكور أعلاه.
* <math>i^i\,</math> وهو العدد <math>e^{-\pi/2}</math>.
* قيمة [[دوال مثلثية|الدالة المثلثية]] <math>\sin(1)\,</math>.
* <math>\ln(a)\,</math> إذا كان a عددا كسريا موجبا قطعا ويخالف 1.
* <math>\Gamma\left(\frac{1}{3}\right)\,</math>، <math>\Gamma\left(\frac{1}{4}\right)\,</math> و<math>\Gamma\left(\frac{1}{6}\right)\,</math> (راجع [[دالة غاما|دالة غاما لأويلر]]).
* <math>C_{10} = 0.12345678910111213141516\dots</math> {{وإو|تر=Champernowne constant|عر=ثابتة تشامبرنون}} (مبرهنة [[كرت مالر|مالر]]، سنة [[1961]]).
* <math>\sum_{k=0}^{+\infty} 10^{-\lfloor \beta^{k} \rfloor};\qquad \beta> 1\; , </math>
حيث <math>\ \lfloor x \rfloor</math> هو [[دالتا الجزء الصحيح والمتمم الصحيح الأعلى|الجزء الصحيح]] للعدد <math>\ x \in \mathbb{R}</math>. مثلا: من أجل <math>\beta = 2\,</math> يساوي هذا العدد:
* <math>\Omega\,</math> {{وإو|تر=Chaitin's constant|عر=ثابتة تشيتين}}. وبشكل عام: كل عدد لا يمكن حسابه هو عدد متسام.

كل [[دالة جبرية]] غير ثابتة لمتغير عددي تعطي قيما متسامية إذا طبقنا عليها عددا متساميا. مثلا: بمعرفة أن العدد <math>\pi\,</math> متسام، نستنتج مباشرة أن <math>5\pi\,</math>، <math>\frac{\pi-3}{\sqrt{2}}\,</math>، <math>(\sqrt{\pi}-\sqrt{3})^8\,</math> و<math>(\pi^{5}+7)^{\frac{1}{7}}\,</math> هي أعداد متسامية كذلك.

في المقابل، يمكن لدالة جبرية لعدة متغيرات أن تعطي [[عدد جبري|قيمة جبرية]] إذا طبقنا عليها أعدادا متسامية، عندما لا تكون تلك الأعداد مستقلة جبريا.
مثلا، العددان <math>\pi\,</math> و<math>1-\pi\,</math> متساميان، ولكن <math>\pi~+~(1-\pi)~=~1\,</math> ليس متساميا. لا نعرف طبيعة <math>\pi~+~e\,</math>، ولكن نحن متأكدون من أن أحد العددين <math>\pi~+~e\,</math> و<math>\pi e\,</math> متسام بالضرورة. بشكل عام: من أجل عددين متسامين a و b، فسيكون على الأقل أحد العددين ab و a+b متساميا. للتأكد من ذلك، نعتبر الحدودية <math>(x~-~a) (x~-~b) = x^2 - (a+b) x + a b\,</math>. إذا كان ab و a+b جبريين معا، فستكون هذه الحدودية بمعاملات جبرية، وبما أن الأعداد الجبرية تكون جسما جبريا مغلقا، فهذا يستلزم أن a و b حلي المعادلة عددان جبريان، وهذا تناقض. وبالتالي أحد العددين ab و a+b على الأقل متسام.

== مسائل مفتوحة ==
من بين الأعداد التي لا نعرف ما إذا كانت متسامية أم لا:
* <math>(\pi~+~e)\,</math>, <math>(\pi~-~e)\,</math>, <math>(\pi e)\,</math>, <math>\left(\frac{e}{\pi}\right)\,</math>, <math>(\pi^{\pi})\,</math>, <math>(e^e)\,</math>, <math>(\pi^e)\,</math>
* ثابتة أويلر-ماسكروني <math>\gamma\,</math> والتي لا نعرف ما إذا كانت لاجذرية.
* [[ثابتة كاتالان]] والتي لا نعرف ما إذا كانت لاجذرية.
* ثابتة أبيري <math>\zeta(3)\,</math> والتي نعرف بأنها لاجذرية.

جميع أعداد ليوفيل هي أعداد متسامية، ولكن ليست جميع الأعداد المتسامية هي أعداد ليوفيل. يجب على حدود كل عدد لليوفيل، عند تفكيكه إلى [[كسر مستمر|كسور مستمرة]]، ألا تكون قابلة للحصر. إذن باستعمال برهان التعداد، يمكن أن نبين وجود أعداد متسامية أخرى غير أعداد ليوفيل. باستعمال التفكيك إلى [[كسر مستمر|كسور مستمرة]] للعدد [[ه (رياضيات)|e]] سنجد أنه ليس عددا لليوفيل. برهن [[كرت مالر]] سنة [[1953]] أن العدد [[ه (رياضيات)|e]] ليس عددا لليوفيل. وتظنن كذلك أن جميع [[كسر مستمر|الكسور المستمرة]] والتي حدودها محصورة وليست دورية ابتداء من رتبة معينة، هي أعداد متسامية.

== جزء من برهان على تسامي العدد e ==
ظهر أول برهان على تسامي العدد [[ه (رياضيات)|e]] سنة [[1873]]. سنتبع هنا طريقة [[ديفيد هيلبرت]] ([[1862]] - [[1943]]) والذي بسط البرهان الأصلي ل[[شارل آرميت]]. الفكرة هي كالتالي:

نفترض أن العدد e هو [[عدد جبري]]، وذلك للحصول على تناقض في النهاية. إذن توجد [[مجموعة منتهية]] من المعاملات الصحيحة <math>c_{0},c_{1},\ldots,c_{n}\,</math> التي تحقق المعادلة:

:<math>c_{0}+c_{1}e+c_{2}e^{2}+\cdots+c_{n}e^{n}=0\,</math>

بحيث يكون كلا العددان <math>c_0</math> و<math>c_n</math> مخالفين للصفر.

نختار عددا كبيرا k بما يكفي وذلك حسب قيمة n.

نضرب [[طرفا معادلة|طرفي المعادلة]] بـ <math>\int^{\infty}_{0}\,</math>، في حين سنستعمل الترميز التالي <math>\int^{b}_{a}\,</math> كاختصار [[تكامل|للتكامل]]:

:<math>\int^{b}_{a} =\int^{b}_{a}x^{k}[(x-1)(x-2)\cdots(x-n)]^{k+1}e^{-x}\,dx\,</math>.

سنصل إلى المعادلة:

:<math>c_{0}\int^{\infty}_{0}+c_{1}e\int^{\infty}_{0}+\cdots+c_{n}e^{n}\int^{\infty}_{0} = 0\,</math>

والتي يمكن الآن كتابتها على الشكل:

:<math>P_{1}+P_{2}=0\,</math>

حيث

:<math>P_{1}=c_{0}\int^{\infty}_{0}+c_{1}e\int^{\infty}_{1}+c_{2}e^{2}\int^{\infty}_{2}+\cdots+c_{n}e^{n}\int^{\infty}_{n}\,</math>
:<math>P_{2}=c_{1}e\int^{1}_{0}+c_{2}e^{2}\int^{2}_{0}+\cdots+c_{n}e^{n}\int^{n}_{0}\,</math>

الهدف الآن هو أن نبين من أجل k كبير بما يكفي، يستحيل تحقيق المتساويات أعلاه لأن :<math>\frac{P_{1}}{k!}\,</math> هو عدد صحيح يخالف الصفر، في حين العدد <math>\frac{P_{2}}{k!}\,</math> ليس كذلك.

والسبب في أن <math>\frac{P_{1}}{k!}\,</math> عدد صحيح يخالف الصفر يأتي من العلاقة:

:<math>\int^{\infty}_{0}x^{j}e^{-x}\,dx=j!\,</math>

وهي صحيحة لكل عدد صحيح موجب j ويمكننا البرهنة عليها بالترجع عن طريق [[تكامل بالتجزئة|مكاملة بالأجزاء]].

ولكي نبرهن على أن:

:<math>\left|\frac{P_{2}}{k!}\right|<1\,</math> من أجل k كبير بما يكفي

نشير أولا إلى أن <math>x^{k}[(x-1)(x-2)\cdots(x-n)]^{k+1}e^{-x}\,</math> هو جداء الدوال <math>[x(x-1)(x-2)\cdots(x-n)]^{k}\,</math> و<math>(x-1)(x-2)\cdots(x-n)e^{-x}\,</math>. وباستعمال المحد العلوي لـ <math>|x(x-1)(x-2)\cdots(x-n)|\,</math> و<math>|(x-1)(x-2)\cdots(x-n)e^{-x}|\,</math> على المجال <math>[n,0]</math> وبما أن:
:<math>\lim_{k\to\infty}\frac{G^k}{k!}=0\,</math> لكل [[عدد حقيقي]] G.
وهذا كاف لإكمال البرهان.

يمكن استعمال طريقة ممثالة، مختلفة عن عن المقاربة الأصلية لـ (لندمان)، للبرهنة على أن e عدد متسام. زيادة على ذلك، تلعب بعض التقديرات وبعض خصائص الحدوديات المتماثلة دورا حيويا في البرهان.

== مراجع ==

{{مراجع}}
{{أنظمة عدد}}
{{أعداد لاجذرية}}
{{نظرية الأعداد}}
{{ضبط استنادي}}
{{شريط بوابات|رياضيات|نظرية الأعداد}}

[[تصنيف:أعداد متسامية]]
[[تصنيف:مقالات تحوي براهين]]

عدد متسام - تاريخ المراجعة

عبد العزيز: /* مراجع */