میتروید

در ترکیبیات، مِیتروید (به انگلیسی: Matroid) ‎/ˈmeɪtrɔɪd/‎ (ممکن است در ترجمه ها به آن متروید، ماتروید و... هم گفته شود) ساختاری است که مفهوم استقلال خطی در فضاهای برداری را تجرید سازی کرده و تعمیم می دهد. از نظر اصول موضوعه منطقی، روش های بسیاری برای تعریف یک میتروید وجود دارد که مهم ترین آن ها ازین قرارند: براساس مجموعه ها؛ پایه ها و مدارها؛ توابع رتبه؛ عملگرهای بستار؛ مجموعه های بسته یا فلت‌ها. به زبان مجموعه های مرتب جزئی، یک میتروید متناهی معادل با مشبکه هندسی است.

نظریه میتروید به طور گسترده از واژگان جبر خطی و نظریه گراف وام گرفته، چرا که تجرید عمده مفاهیم مرکزی در این شاخه ها ما را به میتروید ها می رساند. میترویدها کاربردهایی در هندسه، توپولوژی، بهینه سازی ترکیبیاتی، نظریه شبکه و نظریه کد پیدا کرده اند.^[1][2]

تعاریف

طرق متنوعی برای تعریف میتروید (متناهی) وجود دارد که با هم رمزریخت (کریپتومورف) هستند:^[3]

مجموعه‌های مستقل

برحسب استقلال، یک میتروید متناهی ${\displaystyle M}$ شامل زوج مرتب ${\displaystyle (E,{\mathcal {I}})}$ است که ${\displaystyle E}$ مجموعه ای متناهی (که به آن مجموعه زمینه گفته می شود) و ${\displaystyle {\mathcal {I}}}$ خانواده ای از زیرمجموعه های ${\displaystyle E}$ (که به آن مجموعه های مستقل گفته می شود) است که دارای خواص زیر باشد:^[4]

1. مجموعه تهی مستقل است، یعنی ${\displaystyle \emptyset \in {\mathcal {I}}}$. یا به عباری، حداقل یکی از زیرمجموعه های ${\displaystyle E}$ مستقل است، یعنی ${\displaystyle {\mathcal {I}}\neq \emptyset }$.
2. هر زیرمجموعه از یک مجموعه مستقل، مستقل است، یعنی برای هر ${\displaystyle A'\subseteq A\subseteq E}$، اگر ${\displaystyle A\in {\mathcal {I}}}$ آنگاه ${\displaystyle A'\in {\mathcal {I}}}$. این خاصیت را برخی مواقع خاصیت موروثی، یا خاصیت بسته از پایین نیز می گویند.
3. اگر ${\displaystyle A}$ و ${\displaystyle B}$ دو مجموعه مستقل باشند (یعنی، هر مجموعه مستقل باشند) و ${\displaystyle A}$ از ${\displaystyle B}$ عناصر بیشتری داشته باشد، آنگاه وجود دارد ${\displaystyle x\in A\setminus B}$ چنان که ${\displaystyle B\cup \{x\}}$ در ${\displaystyle {\mathcal {I}}}$ است. برخی اوقات به این خاصیت خاصیت افزودگی یا خاصیت تبادل مجموعه مستقل نیز می گویند.

دو خاصیت اول ساختاری ترکیبیاتی به نام دستگاه استقلال (یا مجتمع سادکی مجرد) تعریف می کنند.

نمونه‌ها

مرتبط

در نظریهٔ گراف می‌توانید یک گراف را بردارید و مجموعهٔ پس‌زمینه را مجموعهٔ گره‌های آن برداشته و یک مجموعه از این گره‌ها را وابسته در نظر بگیرید هر گاه یک دور در زیرگراف القا شده از این گره‌ها وجود داشته باشد. به این میتروید، میتروید گرافی می‌گویند. در جبرخطی می‌توانید یک فضای برداری اتنخاب کرده و یک مجموعه بردار دلخواه از این فضا را به عنوان مجموعهٔ پس‌زمینه بردارید. یک مجموعه از این بردارها را وابسته گوئیم هر گاه وابستهٔ خطی باشند یعنی یک ترکیب خطی نابدیهی از آن‌ها صفر شود. به این میتروید، میتروید ماتریسی می‌گوئیم. علت این نامگذاری این است که می‌توان نمایش برداری این بردارها را در نظر گرفته و با کنار هم قرار دادن آن‌ها یک ماتریس داشت که آنگاه مجموعهٔ پس‌زمینهٔ ما گردایهٔ ستون‌های این ماتریس است. در جبرجابجایی می‌توان رابطهٔ وابستگی میتروید را وابستگی جبری در نظر گرفت.

کاربرد

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

پانویس

1. Neel, David L.; Neudauer, Nancy Ann (2009). "Matroids you have known" (PDF). Mathematics Magazine. 82 (1): 26–41. doi:10.4169/193009809x469020. Archived from the original (PDF) on 13 February 2022. Retrieved 4 October 2014.
2. Kashyap, Navin; Soljanin, Emina; Vontobel, Pascal. "Applications of Matroid Theory and Combinatorial Optimization to Information and Coding Theory" (PDF). www.birs.ca. Retrieved 4 October 2014.
3. منبع استانداردی برای تعاریف و نتایج پایه در مورد میتروید، Oxley (1992) است. یک منبع قدیمی تر Welsh (1976) است. ضمیمه Brylawski را در White (1986)، صفحات 298-302 را برای لیستی از دستگاه های اصول موضوعه ای معادل ببینید.
4. (Welsh 1976), Section 1.2, "Axiom Systems for a Matroid", pp. 7–9.

• مشارکت‌کنندگان ویکی‌پدیا. «Matroid». در دانشنامهٔ ویکی‌پدیای انگلیسی.

منابع

• Bruhn, Henning; Diestel, Reinhard; Kriesell, Matthias; Pendavingh, Rudi; Wollan, Paul (2013), "Axioms for infinite matroids", Advances in Mathematics, 239: 18–46, arXiv:1003.3919, doi:10.1016/j.aim.2013.01.011, MR 3045140, S2CID 10436077.
• Bryant, Victor; Perfect, Hazel (1980), Independence Theory in Combinatorics, London and New York: Chapman and Hall, ISBN 978-0-412-22430-0.
• Brylawski, Thomas H. (1972), "A decomposition for combinatorial geometries", Transactions of the American Mathematical Society, 171: 235–282, doi:10.2307/1996381, JSTOR 1996381.
• Crapo, Henry H. (1969), "The Tutte polynomial", Aequationes Mathematicae, 3 (3): 211–229, doi:10.1007/BF01817442, S2CID 119602825.
• Crapo, Henry H.; Rota, Gian-Carlo (1970), On the Foundations of Combinatorial Theory: Combinatorial Geometries, Cambridge, Mass.: M.I.T. Press, ISBN 978-0-262-53016-3, MR 0290980.
• Geelen, Jim; Gerards, A. M. H.; Whittle, Geoff (2007), "Towards a matroid-minor structure theory", in Grimmett, Geoffrey; et al. (eds.), Combinatorics, Complexity, and Chance: A Tribute to Dominic Welsh, Oxford Lecture Series in Mathematics and its Applications, vol. 34, Oxford: Oxford University Press, pp. 72–82.
• Gerards, A. M. H. (1989), "A short proof of Tutte's characterization of totally unimodular matrices", Linear Algebra and Its Applications, 114/115: 207–212, doi:10.1016/0024-3795(89)90461-8.
• Kahn, Jeff; Kung, Joseph P. S. (1982), "Varieties of combinatorial geometries", Transactions of the American Mathematical Society, 271 (2): 485–499, doi:10.2307/1998894, JSTOR 1998894.
• Kingan, Robert; Kingan, Sandra (2005), "A software system for matroids", Graphs and Discovery, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp. 287–296.
• Kung, Joseph P. S., ed. (1986), A Source Book in Matroid Theory, Boston: Birkhäuser, doi:10.1007/978-1-4684-9199-9, ISBN 978-0-8176-3173-4, MR 0890330.
• Mac Lane, Saunders (1936), "Some interpretations of abstract linear dependence in terms of projective geometry", American Journal of Mathematics, 58 (1): 236–240, doi:10.2307/2371070, JSTOR 2371070.
• Minty, George J. (1966), "On the axiomatic foundations of the theories of directed linear graphs, electrical networks and network-programming", Journal of Mathematics and Mechanics, 15: 485–520, MR 0188102.
• Nishimura, Hirokazu; Kuroda, Susumu, eds. (2009), A lost mathematician, Takeo Nakasawa. The forgotten father of matroid theory, Basel: Birkhäuser Verlag, doi:10.1007/978-3-7643-8573-6, ISBN 978-3-7643-8572-9, MR 2516551, Zbl 1163.01001.
• Oxley, James (1992), Matroid Theory, Oxford: Oxford University Press, ISBN 978-0-19-853563-8, MR 1207587, Zbl 0784.05002.
• Recski, András (1989), Matroid Theory and its Applications in Electric Network Theory and in Statics, Algorithms and Combinatorics, vol. 6, Berlin and Budapest: Springer-Verlag and Akademiai Kiado, doi:10.1007/978-3-662-22143-3, ISBN 978-3-540-15285-9, MR 1027839.
• Sapozhenko, A.A. (2001) [1994], "میتروید", Encyclopedia of Mathematics, EMS Press
• Seymour, Paul D. (1980), "Decomposition of regular matroids", Journal of Combinatorial Theory, Series B, 28 (3): 305–359, doi:10.1016/0095-8956(80)90075-1, hdl:10338.dmlcz/101946, Zbl 0443.05027.
• Truemper, Klaus (1992), Matroid Decomposition, Boston: Academic Press, ISBN 978-0-12-701225-4, MR 1170126.
• Tutte, W. T. (1959), "Matroids and graphs", Transactions of the American Mathematical Society, 90 (3): 527–552, doi:10.2307/1993185, JSTOR 1993185, MR 0101527.
• Tutte, W. T. (1965), "Lectures on matroids", Journal of Research of the National Bureau of Standards Section B, 69: 1–47.
• Tutte, W.T. (1971), Introduction to the theory of matroids, Modern Analytic and Computational Methods in Science and Mathematics, vol. 37, New York: American Elsevier Publishing Company, Zbl 0231.05027.
• Vámos, Peter (1978), "The missing axiom of matroid theory is lost forever", Journal of the London Mathematical Society, 18 (3): 403–408, doi:10.1112/jlms/s2-18.3.403.
• van der Waerden, B. L. (1937), Moderne Algebra.
• Welsh, D. J. A. (1976), Matroid Theory, L.M.S. Monographs, vol. 8, Academic Press, ISBN 978-0-12-744050-7, Zbl 0343.05002.
• White, Neil, ed. (1986), Theory of Matroids, Encyclopedia of Mathematics and its Applications, vol. 26, Cambridge: Cambridge University Press, ISBN 978-0-521-30937-0, Zbl 0579.00001.
• White, Neil, ed. (1987), Combinatorial geometries, Encyclopedia of Mathematics and its Applications, vol. 29, Cambridge: Cambridge University Press, ISBN 978-0-521-33339-9, Zbl 0626.00007
• White, Neil, ed. (1992), Matroid Applications, Encyclopedia of Mathematics and its Applications, vol. 40, Cambridge: Cambridge University Press, ISBN 978-0-521-38165-9, Zbl 0742.00052.
• Whitney, Hassler (1935), "On the abstract properties of linear dependence", American Journal of Mathematics, 57 (3): 509–533, doi:10.2307/2371182, hdl:10338.dmlcz/100694, JSTOR 2371182, MR 1507091. Reprinted in (Kung 1986), pp. 55–79.
• Whittle, Geoff (1995), "A characterization of the matroids representable over GF(3) and the rationals" (PDF), Journal of Combinatorial Theory, Series B, 65 (2): 222–261, doi:10.1006/jctb.1995.1052^{[پیوند مرده]}.

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

• "Matroid", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Kingan, Sandra : Matroid theory. A large bibliography of matroid papers, matroid software, and links.
• Locke, S. C. : Greedy Algorithms.
• Pagano, Steven R. : Matroids and Signed Graphs.
• Mark Hubenthal: A Brief Look At Matroids (PDF) (contain proofs for statements of this article)
• James Oxley : What is a matroid? (PDF)
• Neil White : Matroid Applications