"خود مشابہ مجموعہ (مستوی میں)" کے نسخوں کے درمیان فرق

آزاد دائرۃ المعارف، ویکیپیڈیا سے
حذف شدہ مندرجات اضافہ شدہ مندرجات
م clean up, replaced: ← (121), ← (113) using AWB
م clean up, replaced: ← (31), ← (15), ← (8) using AWB
سطر 39: سطر 39:
<td>[[Image:set_contraction_image2.png|200px]]</td>
<td>[[Image:set_contraction_image2.png|200px]]</td>
<td align="center">
<td align="center">
<math>
<math>
T\left(\begin{bmatrix}x \\ y \end{bmatrix}\right) =
T\left(\begin{bmatrix}x \\ y \end{bmatrix}\right) =
\begin{bmatrix} s & 0 \\
\begin{bmatrix} s & 0 \\
0 & s
0 & s
\end{bmatrix}
\end{bmatrix}
\begin{bmatrix}x \\ y \end{bmatrix}
\begin{bmatrix}x \\ y \end{bmatrix}
سطر 72: سطر 72:
:<math>T_1\left(\begin{bmatrix}x \\ y \end{bmatrix}\right) =
:<math>T_1\left(\begin{bmatrix}x \\ y \end{bmatrix}\right) =
\frac{1}{2} \begin{bmatrix} 1 & 0 \\
\frac{1}{2} \begin{bmatrix} 1 & 0 \\
0 & 1
0 & 1
\end{bmatrix}
\end{bmatrix}
\begin{bmatrix}x \\ y \end{bmatrix} +
\begin{bmatrix}x \\ y \end{bmatrix} +
سطر 79: سطر 79:
:<math>T_2\left(\begin{bmatrix}x \\ y \end{bmatrix}\right) =
:<math>T_2\left(\begin{bmatrix}x \\ y \end{bmatrix}\right) =
\frac{1}{2} \begin{bmatrix} 1 & 0 \\
\frac{1}{2} \begin{bmatrix} 1 & 0 \\
0 & 1
0 & 1
\end{bmatrix}
\end{bmatrix}
\begin{bmatrix}x \\ y \end{bmatrix} +
\begin{bmatrix}x \\ y \end{bmatrix} +
سطر 86: سطر 86:
:<math>T_3\left(\begin{bmatrix}x \\ y \end{bmatrix}\right) =
:<math>T_3\left(\begin{bmatrix}x \\ y \end{bmatrix}\right) =
\frac{1}{2} \begin{bmatrix} 1 & 0 \\
\frac{1}{2} \begin{bmatrix} 1 & 0 \\
0 & 1
0 & 1
\end{bmatrix}
\end{bmatrix}
\begin{bmatrix}x \\ y \end{bmatrix} +
\begin{bmatrix}x \\ y \end{bmatrix} +
سطر 93: سطر 93:
:<math>T_4\left(\begin{bmatrix}x \\ y \end{bmatrix}\right) =
:<math>T_4\left(\begin{bmatrix}x \\ y \end{bmatrix}\right) =
\frac{1}{2} \begin{bmatrix} 1 & 0 \\
\frac{1}{2} \begin{bmatrix} 1 & 0 \\
0 & 1
0 & 1
\end{bmatrix}
\end{bmatrix}
\begin{bmatrix}x \\ y \end{bmatrix} +
\begin{bmatrix}x \\ y \end{bmatrix} +
سطر 113: سطر 113:
:<math>T_1\left(\begin{bmatrix}x \\ y \end{bmatrix}\right) =
:<math>T_1\left(\begin{bmatrix}x \\ y \end{bmatrix}\right) =
\frac{1}{2} \begin{bmatrix} 1 & 0 \\
\frac{1}{2} \begin{bmatrix} 1 & 0 \\
0 & 1
0 & 1
\end{bmatrix}
\end{bmatrix}
\begin{bmatrix}x \\ y \end{bmatrix} +
\begin{bmatrix}x \\ y \end{bmatrix} +
سطر 120: سطر 120:
:<math>T_2\left(\begin{bmatrix}x \\ y \end{bmatrix}\right) =
:<math>T_2\left(\begin{bmatrix}x \\ y \end{bmatrix}\right) =
\frac{1}{2} \begin{bmatrix} 1 & 0 \\
\frac{1}{2} \begin{bmatrix} 1 & 0 \\
0 & 1
0 & 1
\end{bmatrix}
\end{bmatrix}
\begin{bmatrix}x \\ y \end{bmatrix} +
\begin{bmatrix}x \\ y \end{bmatrix} +
سطر 127: سطر 127:
:<math>T_3\left(\begin{bmatrix}x \\ y \end{bmatrix}\right) =
:<math>T_3\left(\begin{bmatrix}x \\ y \end{bmatrix}\right) =
\frac{1}{2} \begin{bmatrix} 1 & 0 \\
\frac{1}{2} \begin{bmatrix} 1 & 0 \\
0 & 1
0 & 1
\end{bmatrix}
\end{bmatrix}
\begin{bmatrix}x \\ y \end{bmatrix} +
\begin{bmatrix}x \\ y \end{bmatrix} +

نسخہ بمطابق 12:36، 27 نومبر 2015ء

اصطلاح term

طاقم
احاطہ
یحیط
بند
کھلا
مطابقت
گھماؤ
ترجمہ
تراکب
ناتراکب
سکڑاو
پھیلاؤ
خود مشابہ
اتحاد
مستوی

set
boundary
bounded
closed
open
congruence
rotate
translate
overlapping
non-overlapping
contraction
expansion
self-similar
union
plane


خود مشابہ مجموعہ کی تعریف کرنے سے پہلے ہمیں کچھ ابتدائی تعاریف کی ضرورت ہے۔

ابتدائی تعاریف

ذیل میں ہم اقلیدسی فضاء کے حوالے سے کچھ تعریف سمجھاتے ہیں۔ (یاد رہے کہ یہ تعاریف اس فضا کے حوالے کے بغیر بھی کی جا سکتی ہیں۔)

تحیط طاقم

اقلیدسی فضا میں کسی طاقم کو تحیط کہا جاتا ہے اگر اس کے گرد ایک ایسا دائرہ لگانا ممکن ہو، جس میں یہ طاقم سما جائے (تصویر 1) ۔ اگر ایسا ممکن نہ ہو تو طاقم "لاتحیط" کہلائے گا۔

تصویر 2

بند طاقم

اقلیدسی فضا میں اگر طاقم کا احاطہ بھی طاقم میں شامل ہو تو اسے بند طاقم کہا جاتا ہے۔ تصویر 2 میں طاقم (مجموعوں) کا احاطہ کالی لکیر میں دکھایا گیا ہے۔

کھلا طاقم

اقلیدسی فضا میں اگر طاقم کا احاطہ کو طاقم کا حصہ نہ سمجھا جائے، تو اسے کھلا طاقم کہا جاتا ہے۔ تصویر 2 میں طاقم (مجموعوں) کا احاطہ کالی لکیر میں دکھایا گیا ہے۔

طاقموں میں مطابقت

اگر ایک طاقم کو گھماء اور ترجمہ کر کے دوسرے طاقم میں بدلا جا سکتا ہو، تو ان دونوں طاقم جات کو بمطابق کہیں گے۔ تصویر 2 میں ایسے تین طاقم جات دکھائے گئے ہیں جو آپس میں مطابقت رکھتے ہیں۔

تصویر 3
تصویر 4

تراکب طاقموں

اگر دو طاقم جات کا کچھ حصہ سانجھا ہو تو ان کو تراکب کہا جاتا ہے، ورنہ ناتراکب۔ مثال تصویر 3 میں تراکب مجموعات دکھائے ہیں، اور تصویر 4 میں ناتراکب مجموعات۔

تصویر 5

سکیڑ اور پھیلاؤ

اگر ایسا لکیری استحالہ ہو، جو طاقم کو چھوٹا یا بڑا کرتا ہو۔ اگر تو اس کو سکیڑنا کہیں گے (تصویر 5)، اور اگر تو اسے پھیلانا کہیں گے۔ تصویر 5 میں نیلے طاقم کو سکیڑ کر سرخ طاقم بنتا دکھایا گیا ہے۔

تصویر 6

خود مشابہ طاقم

ایک بند اور تحیط طاقم (جو کا ذیلی طاقم ہو) کو خود مشابہ کہا جائے گا، اگر اس طاقم S کو یوں لکھا جا سکے

جہاں ناتراکب مجموعات ہیں، اور ان میں سے ہر ایک بمطابق ہے S کی سکڑی ہوئی صورت کے (جہاں سکڑنے کا عدد ہے)۔ یہاں علامت اتحاد کے لیے استعمال ہوئی ہے۔

تصویر 6 میں طاقم S کو چار مجموعات کے اتحاد کے بطور دکھایا گیا ہے۔ یہاں سکڑنے کا عدد ہے۔ ان ذیلی مجموعات کو سے ان مماثلتیہ کے ذریعہ حاصل کیا جا سکتا ہے:

جہاں مماثلتیہ یہ ہیں

اصطلاح term

اتحاد
غیر خالی
منفرد
ایکی مربع
خود مشابہ

union
non-empty
unique
unit square
self-similar


تصویر 7
تصویر 8
تصویر 9. سیرپنسکی (Sierpinski) تکون
تصویر 10

مثال

اگر نیچے دی تین مماثلتیہ ایکی مربع پر استعمال کی جائیں،

تو تین ناتراکب مربع بنتے ہیں (تصویر 7) ۔ اب ان تین مربع پر (علیحدہ علیحدہ) یہ تین مماثلتیہ استعمال کیے جائیں، تو تصویر 8 حاصل ہو گی۔ اسی طرح یہ عمل جاری رکھا جائے تو تصویر 9 حاصل ہوتی ہے، جو کہ مشہور سیرپنسکی تکون ہے۔ (تصویر 9 میں سیرپنسکی تکون سفید رنگ میں دکھائ ہے۔)

غور کرو کہ تصویر 7 میں مربع U اقلیدسی فضا (مستوی) میں ہے، اس لیے اس کا بُعد 2 ہے۔ اس مربع کا رقبہ 1 ہے۔ مماثلتیہ کے استعمال کے بعد جو تین مربع کا خاکہ بنتا ہے (نیلے) اس کا کل رقبہ ہے۔ ہر نیلے مربع پر مماثلتیہ کے استعمال سے تصویر 8 ملتی ہے، اور اب ہمارے خاکہ کا رقبہ ہے۔ مماثلتیہ کے n بار استعمال کے بعد بننے والے خاکہ کا رقبہ ہو گا، اور

یعنی تصویر 9 میں خاکہ (سیرپنسکی تکون، سفید رنگ میں) کا رقبہ صفر (0) ہو گا۔ یاد رہے کہ ایک لکیر، جس کا بُعد 1 ہوتا ہے، کا رقبہ صفر ہوتا ہے۔ اس سے یہ نتیجہ نکلتا ہے کہ سیرپنسکی تکون کا بُعد 1 ہے۔ اگرچہ سیرپنسکی تکون میں نظر آتی ہے، مگر اس میں سوراخ اتنے ہیں کہ یہ ایک لکیر کی ماند ہے (جس کا بُعد 1 ہوتا ہے)۔ سیرپنسکی تکون ایک فریکٹل ہے۔

یہ تصویر بنانے کا سائیلیب سکرپت یہاں ہے۔



یہاں یہ واضح کر دیں کہ تصویر 9 ایک حد تک تفصیل میں دکھائی جا سکتی ہے۔ بہت چھوٹی تفصیل واضح ہونا تصویر میں ممکن نہیں۔

یہ واضح کرنے کے لیے کہ شیرپنسکی تکون، "خود مشابہ طاقم" کی تعریف پر پورا اترتی ہے، ہم نے تصویر 10 مین جان بوجھ کر اسے تین حصوں میں بانٹ کر دکھایا ہے، اس طرح کہ ہر حصہ بڑے سیرپنسکی تکون S (تصویر 9) پر ایک مماثلتیہ کے عمل سے بنا ہے، اور

یاد رہے کہ ان تین حصوں میں سے ہر حصہ بھی "خود مشابہ" ہے، اور یہ بات ان حصوں کے اسطرح مزید حصے کرنے پر بھی برحق ہے (کیونکہ سیرپنسکی تکون ایک فریکٹل ہے)۔

مسلئہ اثباتی

اگر سکڑنے والی مماثلتیہ ہوں، جن کا سکڑنے کا عدد برابر ہو، تو پھر ایک منفرد، غیر خالی، بند، اور محیط طاقم S ہو گا، جبکہ

اور اگر مجموعات ناتراکب ہوں، تو طاقم S خود مشابہ ہو گا۔

خود مشابہ طاقم بنانے کا الخوارزم

یہ مسلئہ اثباتی اس طاقم کو نکالنے کا کوئ طریقہ نہیں بتاتا۔ اگر مسلئہ اثباتی کی عبارت کے مطابق مماثلتیہ ہوں اور ایک "خود مشابہ طاقم" S کو جنم دیتے ہوں، تو یہ طاقم نکالنے کے لیے ایک تصادفی الخوارزم نیچے دیا ہے:

  1. پلین میں ایک نکتہ چنو
  2. ایک تصادفی تجربہ سے تصادفی متغیر جنم دو، جس کی قدر 1 سے n تک ہو۔ فرض کرو کہ قدر j آتی ہے۔
  3. اب مماثلتیہ چنو، اور نکتہ کو اس میں سے گزار کر نیا نکتہ حاصل کرو۔ اس نئے نکتہ کو پلاٹ کر دو۔ (یہ نکتہ طاقم S کا حصہ ہے۔)
  4. اس نئے نکتہ کو لے کر، سیڑھی 2 پر جا کر یہ طریقہ دہراتے رہو (جبتک تصویر نکھر آئے۔)

تصویر 9 بنانے کے لیے یہ الخوارزم استعمال کیا گیا ہے۔

اور دیکھو

E=mc2     اردو ویکیپیڈیا پر ریاضی مساوات کو بائیں سے دائیں LTR پڑھیٔے     ریاضی علامات