Yang–Mills equations
طبیعیات اور ریاضی میں، اور خاص طور پر تفریقی جیومیٹری اور گیج تھیوری، یانگ ملز مساوات ویکٹر بنڈل یا پرنسپل بنڈل پر کنکشن کے لیے جزوی تفریقی مساوات کا ایک نظام ہے۔ وہ طبیعیات میں یانگ ملز ایکشن فنکشنل کی یولر-لاگرانج مساوات کے طور پر پیدا ہوتے ہیں۔ انہیں ریاضی میں بھی نمایاں استعمال ملا ہے۔ مساوات کے حلوں کو یانگ-ملز کنکشن یا انسٹنٹون کہتے ہیں۔ انسٹینٹن کی ماڈیولی جگہ کو سائمن ڈونلڈسن نے ڈونلڈسن کے نظریہ کو ثابت کرنے کے لیے استعمال کیا تھا۔ موٹیویشن فزکس گیج تھیوریز کے موضوع پر اپنے بنیادی مقالے میں، رابرٹ ملز اور چن ننگ یانگ نے (بنیادی طور پر ریاضیاتی ادب سے آزاد) پرنسپل بنڈلز اور کنکشنز کا نظریہ تیار کیا تاکہ گیج سمیٹری اور گیج انویرینس کے تصور کی وضاحت کی جا سکے جیسا کہ یہ فزیکل تھیوریز پر لاگو ہوتا ہے۔ گیج کے نظریات یانگ اور ملز نے دریافت کیے، جنہیں اب یانگ ملز کے نظریات کہا جاتا ہے، میکسویل کی مساوات پر جیمز میکسویل کے کلاسیکی کام کو عام کیا، جسے وولف گینگ پالی اور دیگر نے گیج تھیوری کی زبان میں وضع کیا تھا۔ یانگ اور ملز کے کام کا نیاپن لائ گروپ کے من مانی انتخاب کے لیے گیج تھیوریوں کی وضاحت کرنا تھا، جسے اسٹرکچر گروپ کہا جاتا ہے (یا طبیعیات میں گیج گروپ، مزید تفصیلات کے لیے گیج گروپ (ریاضی) دیکھیں)۔ یہ گروپ برقی مقناطیسیت سے متعلق کیس کے برخلاف غیر ایبلین ہو سکتا ہے، اور اس طرح کی اشیاء پر بحث کرنے کے لیے صحیح فریم ورک پرنسپل بنڈلوں کا نظریہ ہے۔ یانگ اور ملز کے کام کے اہم نکات درج ذیل ہیں۔ ایک یہ فرض کرتا ہے کہ فزیکل ماڈل کی بنیادی وضاحت فیلڈز کے استعمال کے ذریعے ہوتی ہے، اور یہ اخذ کرتا ہے کہ لوکل گیج ٹرانسفارمیشن (پرنسپل بنڈل کی لوکل ٹریویلائزیشن کی تبدیلی) کے تحت، ان فزیکل فیلڈز کو بالکل اسی طرح تبدیل ہونا چاہیے جس طرح ایک کنکشن (فزکس میں، ایک گیج فیلڈ) ایک پرنسپل بنڈل پر تبدیل ہوتا ہے۔ گیج فیلڈ کی طاقت کنکشن کی منحنیت ہے، اور گیج فیلڈ کی توانائی یانگ-ملز ایکشن فنکشنل کے ذریعہ (مستقل تک) دی جاتی ہے۔ کم سے کم عمل کا اصول یہ حکم دیتا ہے کہ اس فزیکل تھیوری کے لیے حرکت کی درست مساوات اس فنکشنل کی یولر-لگرینج مساوات کے ذریعے دی جانی چاہئیں، جو کہ ذیل میں اخذ کردہ یانگ-ملز مساوات ہیں: ریاضی نظریہ کی فزیکل ابتداء کے علاوہ، یانگ-ملز مساوات اہم ہندسی دلچسپی کی حامل ہیں۔ عام طور پر ویکٹر بنڈل یا پرنسپل بنڈل پر کنکشن کا کوئی قدرتی انتخاب نہیں ہوتا ہے۔ خاص صورت میں جہاں یہ بنڈل ریمینیئن کئی گنا کے لیے ٹینجینٹ بنڈل ہے، اس طرح کا ایک قدرتی انتخاب ہے، لیوی-سیویٹا کنکشن، لیکن عام طور پر ممکنہ انتخاب کی ایک لامحدود جہتی جگہ ہوتی ہے۔ یانگ-ملز کنکشن عام فائبر بنڈل کے لیے کنکشن کا کسی قسم کا قدرتی انتخاب فراہم کرتا ہے، جیسا کہ اب ہم بیان کرتے ہیں۔ کنکشن کی تعریف اس کی مقامی شکلوں کے ذریعے بنڈل کے لیے ایک معمولی کھلے کور کے لیے کی جاتی ہے۔ کینونکل کنکشن کو منتخب کرنے کی پہلی کوشش یہ مطالبہ کرنا ہو سکتی ہے کہ یہ فارم غائب ہو جائیں۔ تاہم، یہ اس وقت تک ممکن نہیں ہے جب تک کہ ٹریویلائزیشن ہموار نہ ہو، اس معنی میں کہ ٹرانزیشن فنکشنز مستقل افعال ہیں۔ ہر بنڈل چپٹا نہیں ہوتا، اس لیے عام طور پر یہ ممکن نہیں ہے۔ اس کے بجائے کوئی یہ پوچھ سکتا ہے کہ مقامی کنکشن فارم خود مستقل ہیں۔ پرنسپل بنڈل پر اس شرط کو بیان کرنے کا صحیح طریقہ یہ ہے کہ منحنی پن ختم ہو جائے۔ تاہم، چرن ویل تھیوری کے مطابق اگر منحنی پن ختم ہو جاتا ہے (یعنی، ایک فلیٹ کنکشن ہے)، تو بنیادی پرنسپل بنڈل میں معمولی چرن کلاسز ہونی چاہئیں، جو فلیٹ کنکشن کے وجود میں ایک ٹپوولوجیکل رکاوٹ ہے: ہر پرنسپل بنڈل میں فلیٹ کنکشن نہیں ہو سکتا۔ سب سے اچھی امید یہ ہے کہ پھر یہ پوچھیں کہ منحنی پن کو ختم کرنے کے بجائے، بنڈل میں منحنی پن جتنا ممکن ہو اتنا چھوٹا ہو۔ اوپر بیان کردہ یانگ-ملز ایکشن فنکشنل قطعی طور پر (کا مربع) منحنی خطوط کا-معمول ہے، اور اس کی یولر-لاگرانج مساوات اس فنکشنل کے اہم نکات، یا تو مطلق منیما یا مقامی منیما کو بیان کرتی ہیں۔ یعنی یانگ-ملز کنکشن بالکل وہی ہیں جو ان کے منحنی پن کو کم کرتے ہیں۔ اس لحاظ سے وہ ریاضیاتی نقطہ نظر سے کئی گنا پر پرنسپل یا ویکٹر بنڈل پر کنکشن کا فطری انتخاب ہیں۔ تعریف ایک کمپیکٹ، مبنی، ریمینیئن کئی گنا ہونے دیں۔ یانگ-ملز مساوات کو کسی کمپیکٹ لائ گروپ کے لیے ویکٹر بنڈل یا پرنسپل-بنڈل اوور پر کنکشن کے لیے وضع کیا جا سکتا ہے۔ یہاں مؤخر الذکر کنونشن پیش کیا گیا ہے۔ آئیے ایک پرنسپل بنڈل کو ظاہر کرتے ہیں۔ پھر اصل بنڈل کی کل جگہ پر لائ الجبرا ویلیوڈ ڈفریٚنشل فارم کے ذریعے ایک کنکشن کی وضاحت کی جا سکتی ہے۔ اس کنکشن میں ایک منحنی شکل ہوتی ہے، جو کہ ملحقہ بنڈل میں اقدار کے ساتھ دو شکل کی ہوتی ہے۔ کنکشن سے منسلک ایک بیرونی کوویرینٹ مشتق ہے، جو ملحقہ بنڈل پر بیان کیا گیا ہے۔ مزید برآں، چونکہ کمپیکٹ ہے، اس سے وابستہ کمپیکٹ لائ الجبرا ملحقہ نمائندگی کے تحت ایک غیر متغیر اندرونی پروڈکٹ کو قبول کرتا ہے۔ چونکہ ریمینیئن ہے، اس لیے کوٹینجینٹ بنڈل پر ایک اندرونی پروڈکٹ ہوتا ہے، اور اس پر غیر متغیر اندرونی پروڈکٹ کے ساتھ مل کر-قیمتی دو شکلوں کے بنڈل پر ایک اندرونی پروڈکٹ ہوتا ہے۔ چونکہ مبنی ہے، اس بنڈل کے حصوں پر ایک-inner پروڈکٹ ہے۔ یعنی، جہاں انٹیگرل کے اندر بنڈل کے لحاظ سے اندرونی پروڈکٹ استعمال کیا جا رہا ہے، اور یہ ریمینی حجم کی شکل ہے۔ اس-inner پروڈکٹ کا استعمال کرتے ہوئے، کے رسمی ملحقہ آپریٹر کی تعریف اس طرح کی جاتی ہے۔ واضح طور پر یہ اس طرح دیا گیا ہے کہ دو شکلوں پر کام کرنے والا ہج اسٹار آپریٹر کہاں ہے۔ مندرجہ بالا سیٹ اپ کو فرض کرتے ہوئے، یانگ ملز مساوات (عام طور پر غیر لکیری) جزوی تفریقی مساوات کا ایک نظام ہے جو اس کے ذریعہ دیا گیا ہے۔ چونکہ ہج اسٹار ایک آئسومورفزم ہے، اس لیے یانگ ملز مساوات کے واضح فارمولے کے ذریعے مساوی طور پر لکھا جا سکتا ہے۔ () یا () کو مطمئن کرنے والے کنکشن کو یانگ ملز کنکشن کہا جاتا ہے۔ ہر کنکشن خود بخود بیانچی شناخت کو مطمئن کرتا ہے، لہذا یانگ-ملز کنکشن کو ہارمونک تفریق شکلوں کے غیر لکیری ینالاگ کے طور پر دیکھا جا سکتا ہے، جو مطمئن کرتے ہیں۔ اس لحاظ سے یانگ-ملز رابطوں کی تلاش کا موازنہ ہج تھیوری سے کیا جا سکتا ہے، جو ڈی رام کوہمولوجی کلاس میں تفریقی شکل کے ہارمونک نمائندے کی تلاش میں ہے۔ مشابہت یہ ہے کہ یانگ-ملز کنکشن ایک پرنسپل بنڈل پر موجود تمام ممکنہ کنکشن کے سیٹ میں ایک ہم آہنگ نمائندے کی طرح ہے۔ مشتق یانگ-ملز مساوات یانگ-ملز فنکشنل کی یولر-لاگرانج مساوات ہیں، جن کی تعریف اس طرح کی گئی ہے۔ فنکشنل سے مساوات حاصل کرنے کے لیے، یاد رکھیں کہ تمام رابطوں کی جگہ ویکٹر اسپیس کے ماڈل پر ایک افائن اسپیس ہے۔ اس افائن اسپیس میں کنکشن کی ایک چھوٹی سی اخترتی کو دیکھتے ہوئے، منحنی خطوط کا تعلق () کے اہم نکات کا تعین کرنے کے لیے، حساب لگائیں۔ کنکشن یانگ ملز فنکشنل کا ایک اہم نقطہ ہے اگر اور صرف اس صورت میں جب یہ ہر ایک کے لیے غائب ہو جائے، اور یہ بالکل اس وقت ہوتا ہے جب () مطمئن ہو۔ یانگ-ملز رابطوں کی ماڈیولی جگہ یانگ-ملز مساوات گیج غیر متغیر ہیں۔ ریاضیاتی طور پر، گیج کی تبدیلی پرنسپل بنڈل کی آٹومورفزم ہے، اور چونکہ اندرونی پروڈکٹ غیر متغیر ہے، اس لیے یانگ ملز فنکشنل مطمئن ہوتا ہے اور اسی طرح اگر () کو مطمئن کرتا ہے، تو ایسا ہوتا ہے۔ یانگ-ملز کنکشن ماڈیولو گیج ٹرانسفارمیشن کی ایک ماڈیولی جگہ ہے۔ آٹومورفزم کے گیج گروپ کے ذریعے ظاہر کریں۔ سیٹ تمام کنکشنز ماڈیولو گیج ٹرانسفارمیشنز کی درجہ بندی کرتا ہے، اور یانگ-ملز کنکشنز کا ماڈیولی اسپیس ایک سب سیٹ ہے۔ عام طور پر نہ تو ہاؤز ڈورف یا ہموار کئی گنا ہوتا ہے۔ تاہم، ناقابل تلافی رابطوں تک محدود رہنے سے، یعنی ایسے کنکشن جن کا ہولونومی گروپ سبھی کے ذریعہ دیا جاتا ہے، کوئی بھی ہاؤزڈورف خالی جگہیں حاصل کرتا ہے۔ ناقابل تلافی رابطوں کی جگہ کو ظاہر کیا جاتا ہے، اور اس طرح ماڈیولی خالی جگہوں کو ظاہر کیا جاتا ہے اور۔ یانگ-ملز رابطوں کی ماڈیولی جگہوں کا مخصوص حالات میں گہرائی سے مطالعہ کیا گیا ہے۔ مائیکل عطیہ اور راؤل بوٹ نے کمپیکٹ ریمن سطحوں پر بنڈلوں کے لیے یانگ ملز مساوات کا مطالعہ کیا۔ وہاں ماڈیولی جگہ ہولومورفک ویکٹر بنڈلوں کی ماڈیولی جگہ کے طور پر ایک متبادل وضاحت حاصل کرتی ہے۔ یہ نرسمہن-شیشادری نظریہ ہے، جو ڈونلڈسن کے ذریعہ ہولومورفک ویکٹر بنڈلوں سے یانگ-ملز کے رابطوں سے متعلق اس شکل میں ثابت ہوا تھا۔ اس ترتیب میں ماڈیولی کی جگہ ایک کمپیکٹ کیلر کئی گنا کی ساخت رکھتی ہے۔ یانگ-ملز رابطوں کے ماڈیولی کا سب سے زیادہ مطالعہ اس وقت کیا گیا ہے جب بیس کئی گنا کا طول و عرض چار ہوتا ہے۔ یہاں یانگ-ملز مساوات دوسرے درجے کے پی ڈی ای سے پہلے درجے کے پی ڈی ای، اینٹی سیلف ڈوئلٹی مساوات میں سادگی کو تسلیم کرتی ہیں۔ جب بیس کئی گنا کا طول و عرض چار ہوتا ہے، تو ایک اتفاق ہوتا ہے: ہج اسٹار آپریٹر دو شکلوں کو دو شکلوں میں نقشہ بناتا ہے،۔ ہج اسٹار آپریٹر اس معاملے میں شناخت کو مربع کرتا ہے، اور اسی طرح آئجن ویلیوز اور ہے۔ خاص طور پر، خود دوہری اور مخالف خود دوہری دو شکلوں کے مثبت اور منفی آئجین اسپیس میں ایک سڑنا ہوتا ہے۔ اگر پرنسپل بنڈل پر چار گنا سے زیادہ کا کنکشن یا تو مطمئن کرتا ہے یا پھر () کے ذریعے، کنکشن یانگ-ملز کنکشن ہے۔ ان رابطوں کو یا تو سیلف ڈوئل کنکشن یا اینٹی سیلف ڈوئل کنکشن کہا جاتا ہے، اور مساوات کو سیلف ڈوئلٹی (ایس ڈی) مساوات اور اینٹی سیلف ڈوئلٹی (اے ایس ڈی) مساوات کہا جاتا ہے۔ سیلف ڈوئل اور اینٹی سیلف ڈوئل کنکشن کی جگہوں کو اور، اور اسی طرح اور کے لیے ظاہر کیا جاتا ہے۔ اے ایس ڈی کنکشنز، یا انسٹنٹونس کے ماڈیولی اسپیس کا ڈونلڈسن نے اس معاملے میں سب سے زیادہ گہرائی سے مطالعہ کیا تھا جہاں اور آسانی سے جڑا ہوا ہے۔ اس ترتیب میں، پرنسپل بنڈل کی درجہ بندی اس کی دوسری چرن کلاس کے ذریعہ کی جاتی ہے۔ پرنسپل بنڈل کے مختلف انتخاب کے لیے، کوئی بھی دلچسپ خصوصیات کے ساتھ ماڈیولی خالی جگہیں حاصل کرتا ہے۔ یہ خالی جگہیں ہاؤز ڈورف ہیں، یہاں تک کہ جب کم کنکشن کی اجازت دی جاتی ہے، اور عام طور پر ہموار ہوتی ہیں۔ ڈونلڈسن نے دکھایا کہ ہموار حصہ قابل سمت ہے۔ اتیا-سنگر انڈیکس تھیوریم کے مطابق، کوئی یہ حساب لگا سکتا ہے کہ اے ایس ڈی کنکشن کی ماڈیولی اسپیس کا طول و عرض، جہاں پہلا بیٹی نمبر ہے، اور انٹرسیکشن فارم کے حوالے سے مثبت-یقینی سب اسپیس کا طول و عرض ہے۔ مثال کے طور پر، کب اور، انٹرسیکشن فارم معمولی ہے اور ماڈیولی اسپیس کا طول و عرض ہے۔ یہ بی پی ایس ٹی انسٹینٹن کے وجود سے اتفاق کرتا ہے، جو کہ 5 پیرامیٹر فیملی پر منفرد اے ایس ڈی انسٹینٹن ہے جو اس کے مرکز اور اس کے پیمانے کی وضاحت کرتا ہے۔ اس طرح کے لمحات کو اولنبیک کے ہٹنے کے قابل یکسانیت تھیوریم کا استعمال کرتے ہوئے انفینیٹی کے نقطہ پر بڑھایا جا سکتا ہے۔ ایپلی کیشنز ڈونلڈسن تھیوریم یانگ ملز مساوات کی ماڈیولی اسپیس کا استعمال ڈونلڈسن نے ڈونلڈسن کے تھیوریم کو سادہ طور پر جڑے ہوئے چار مینیفولڈ کی انٹرسیکشن فارم کے بارے میں ثابت کرنے کے لیے کیا تھا۔ کلفورڈ ٹاوبس اور کیرن اولن بیک کے تجزیاتی نتائج کا استعمال کرتے ہوئے، ڈونلڈسن یہ ظاہر کرنے میں کامیاب رہے کہ مخصوص حالات میں (جب چوراہے کی شکل قطعی ہوتی ہے) ایک ہموار، کمپیکٹ، مبنی، آسانی سے جڑے ہوئے چار گنا پر اے ایس ڈی انسٹونٹن کی ماڈیولی جگہ خود کئی گنا کی ایک کاپی، اور پیچیدہ پروجیکٹو طیارہ کی کاپیوں کے جداگانہ اتحاد کے درمیان ایک ہم آہنگی فراہم کرتی ہے۔ انٹرسیکشن فارم ایک کوبورڈزم ہے جو آئسومورفزم تک غیر متغیر ہے، جس سے یہ ظاہر ہوتا ہے کہ اس طرح کے کسی بھی ہموار کئی گنا میں ڈائیگنالیسیبل انٹرسیکشن فارم ہے۔ اے ایس ڈی انسٹنٹون کی ماڈیولی جگہ کو چار مینیفولڈ کے مزید غیر متغیرات کی وضاحت کے لیے استعمال کیا جا سکتا ہے۔ ڈونلڈسن نے ماڈیولی اسپیس پر کوہمولوجی کلاسوں کی جوڑی سے پیدا ہونے والے چار گنا سے وابستہ عقلی اعداد کی وضاحت کی۔ اس کام کو بعد میں سیبرگ وٹن غیر متغیرات نے پیچھے چھوڑ دیا ہے۔ جہتی تخفیف اور دیگر ماڈیولی خالی جگہیں جہتی تخفیف کے عمل کے ذریعے، یانگ ملز مساوات کو تفریقی جیومیٹری اور گیج تھیوری میں دیگر اہم مساوات حاصل کرنے کے لیے استعمال کیا جا سکتا ہے۔ جہتی تخفیف یانگ ملز مساوات کو چار گنا سے زیادہ لینے کا عمل ہے، عام طور پر، اور یہ مسلط کرنا کہ حل ایک ہم آہنگی گروپ کے تحت غیر متغیر ہوں۔ مثال کے طور پر: ایک ہی سمت میں ترجمے کے تحت اینٹی سیلف ڈوئلٹی مساوات کو غیر متغیر ہونے کی ضرورت سے، بوگومولنی مساوات حاصل ہوتی ہیں جو مقناطیسی مونو پولز کو بیان کرتی ہیں۔ خود دوہری مساوات کو دو سمتوں میں ترجمہ کے تحت غیر متغیر ہونے کی ضرورت سے، ایک ہچن کی مساوات حاصل کرتا ہے جس کی سب سے پہلے ہچن نے تفتیش کی تھی۔ یہ مساوات قدرتی طور پر ہگس بنڈلوں اور ہچن نظام کے مطالعہ کا باعث بنتی ہیں۔ اینٹی سیلف ڈوئلٹی مساوات کو تین سمتوں میں غیر متغیر ہونے کی ضرورت سے، کوئی وقفے پر نہم مساوات حاصل کرتا ہے۔ جہتی طور پر کم شدہ اے ایس ڈی مساوات کے حل کے درمیان ایک دوہری حیثیت ہے اور جسے ورنر نہم کے بعد نہم ٹرانسفارم کہا جاتا ہے، جس نے سب سے پہلے نہم مساوات کے اعداد و شمار سے مونو پول بنانے کا طریقہ بیان کیا تھا۔ ہچن نے اس کے برعکس دکھایا، اور ڈونلڈسن نے ثابت کیا کہ نہم مساوات کے حل کو پیچیدہ پروجیکٹو لائن سے خود تک عقلی نقشوں کے ماڈیولی خالی جگہوں سے جوڑا جا سکتا ہے۔ ان حلوں کے لیے مشاہدہ کی جانے والی دوہری کو چار گنا کی ہم آہنگی کے من مانی دوہری گروپوں کے لیے تھیوریائز کیا جاتا ہے۔ درحقیقت اندر دوہری جالی کے تحت غیر متغیر انسٹنٹن، دوہری چار جہتی ٹوری پر انسٹنٹن، اور اے ڈی ایچ ایم کی تعمیر کے درمیان ایک ہی نقطہ پر انسٹنٹن آن اور دوہری الجبرائی ڈیٹا کے درمیان دوہری کے طور پر سوچا جا سکتا ہے۔ اے ایس ڈی مساوات کی ہم آہنگی میں کمی بھی متعدد مربوط نظاموں کا باعث بنتی ہے، اور وارڈ کا قیاس یہ ہے کہ حقیقت میں تمام معروف مربوط او ڈی ای اور پی ڈی ای اے ایس ڈی وائی ایم کی ہم آہنگی میں کمی سے آتے ہیں۔ مثال کے طور پر ایس یو (2) اے ایس ڈی وائی ایم کی کمی سے سائن-گورڈن اور کورٹی ویگ-ڈی وریس مساوات ملتی ہے، اے ایس ڈی وائی ایم کی زیٹزیکا مساوات ملتی ہے، اور طول و عرض میں ایک خاص کمی سے وارڈ کا مربوط چیرل ماڈل ملتا ہے۔ اس لحاظ سے یہ مربوط نظاموں کے لیے ایک 'ماسٹر تھیوری' ہے، جس سے بہت سے معروف نظاموں کو مناسب پیرامیٹرز کا انتخاب کرکے بازیافت کیا جا سکتا ہے، جیسے کہ گیج گروپ کا انتخاب اور سمیٹری میں کمی کی اسکیم۔ اس طرح کے دیگر ماہر نظریات چار جہتی چرن سائمنز تھیوری اور افائن گاؤڈن ماڈل ہیں۔ چرن سائمنز تھیوری ایک کمپیکٹ ریمن سطح پر یانگ ملز مساوات کی ماڈیولی جگہ کو سلنڈر پر چرن سائمنز تھیوری کی ترتیب کی جگہ کے طور پر دیکھا جا سکتا ہے۔ اس صورت میں ماڈیولی کی جگہ ایک ہندسی مقدار کو تسلیم کرتی ہے، جسے آزادانہ طور پر نائجل ہچن اور ایکسلروڈ-ڈیلا پیٹرا-وٹن نے دریافت کیا۔ کنکشن (ویکٹر بنڈل) کنکشن (پرنسپل بنڈل) ڈونلڈسن تھیوری ہرمیٹین یانگ-ملز مساوات ڈیفارمڈ ہرمیٹین یانگ-ملز مساوات یانگ-ملز-ہگس مساوات نوٹ حوالہ جات تفریقی جیومیٹری ریاضیاتی طبیعیات جزوی تفریقی مساوات