به دوتایی ‎$h=(v,e)$‎ که ‎$v$‎ مجموعه ای متناهی و ‎$e$‎ مجموعه ای از زیرمجموعه های ‎$v$‎ است ابرگراف می گوییم. اعضای ‎$v$‎ را رئوس و اعضای ‎$e$‎ را یال های ابرگراف ‎$h$‎ می نامیم. به مجموعه ای از یال های ‎$h$‎ که اشتراک دوبه دوی آن ها تهی باشد یک تطابق گوییم. در سال ‎1965‎ اردوش حدس زد که یک ابرگراف ‎$n$‎ رأسی ‎$h$‎ که تعداد رئوس هر یال آن برابر ‎$k$‎ و اندازه بزرگ ترین تطابق آن برابر ‎$s$‎ اس...

به طور ساده یک قاب متناهی, یک دنباله مولد برای فضای هیلبرت با بعد متناهی است. تابعک های خطی که توسط بردارهای قابی دوگان به دست می آیند, وابسته به ضرب داخلی نمی باشند, لذا می توان مفاهیم نظریه قاب را به فضاهای برداری گسترش داد. با توسیع این مفاهیم به فضاهای برداری, تعاریف و مفاهیمی مشابه آنچه در نظریه قاب بیان شده, مانند عملگر ترکیب و آنالیزی مطرح می شود, و اینکه تابعک های خطی همانند بردارهای قا...

آنالیز غیراستاندارد ریاضی که توسط آبراهام رابینسون معرفی شد ابزاری جدید برای مطالعه و بسط ریاضیات فراهم می کند، ضمن ذکر مختصری از سیرایجاد آنالیز غیراستاندارد و فواید و مفاهیم پایه در آن، نظریه کلاسیک مجموعه ها (zfc) و تعدادی از نظریه های غیرکلاسیک مجموعه ها نظیر bst و nct را در فصل اول معرفی می کنیم تا پیش نیازهای نظریه مجموعه های ابر متنهای ths که موضوع اصلی این پایان نامه می باشد را فراهم کر...

فرض کنیم g یک گروه ناآبلی باشد. گراف ناجابجایی $gamma_g$ از g تعریف می شود با مجموعه رئوس g و دو عضو از آن تشکیل یال می دهد اگر باهم جابجا نشوند. در این مقاله ما بعضی از خواص این گراف و ac -گروه n -منظم را معرفی می کنیم. سپس فرمولی برای اندیس سگد گراف ناجابجایی یک گروه متناهی بر حسب اندازه های n و z(g) و g بدست می آوریم. همچنین مشخص می کنیم مقدار اندیس همندی برای هر گروه متناهی برحسب k(g) و اند...

در جبرهای c* مفهومی به نام -c*محدب و -c*فرین وجود دارد که تعریف -c* محدب را در قسمت تعاریف اصلی خواهیم آورد و تعریف نقاط c^*- فرین را از مقاله ی لوئبل و پالسن (1981) می اوریم. این نقاط برای زیر مجموعه های k از جبر c*، r=m_n?m_n (c) ،همان نقاط فرین در مقاله ی لوئبل و پالسن(1981)هستند که عکس آن طبق مقاله های هاپنواسر و مور (1981)و فارنیک و مورنز (1993)بر قرار نمی باشد. طبق مقاله ی لوئبل و پالسن(1...

چکیده پایان نامه: فرض کنید eیک فضای خطی و ?جاذب سراسری یک همسانریختی f:e?e یا نیم گروه (.)s روی eباشد به طوری که روی ? یک به یک است. در هر دو حالت ?دارای شکل بدیهی است و دینامیک روی ? با یک همسانریختی ?? f:?? ? تشریح می گردد. (در حالت دوم s(t) = f برای یک 0> t قرار می دهیم). نشان داده می شود که اگر بعد توپولوژیکی ? متناهی باشد، برای هر0> ? نشاننده ی e : ? ?r^k با dim(?)= k و همسانریختیr^k? f:r^...

در این نوشته ثابت می کنیم که در دشتگاه دینامیکی شیفت تعمیم یافته $(x^gamma,sigma_varphi)$‎ به ازای $x$ فضای توپولوژیک متناهی گسسته با حداقل دو عضو، مجموعه شمارای نامتناهی $gamma$ و نگاشت دلخواه $varphi:gammatogamma$‎، عبارات زیر معادلند: - دستگاه دینامیکی $(x^gamma,sigma_varphi)$ اشوبناک لی-یورک است؛ - دستگاه دینامیکی $(x^gamma,sigma_varphi)$ دارای یک زوج درهم است؛ - نگاشت $varphi:gammatogamma$...

موضوع متناهی یا نامتناهی بودن عالم طبیعت از دیرباز علاقه همگان (اعم از دانشمندان، فیلسوفان، و حتی عموم مردم) را برانگیخته و گرچه، به خصوص در فلسفه، به تفصیل به آن پرداخته شده، اما همان گونه که در این مقاله خواهیم دید پرداختن به این موضوع با توجه به نگاه های عمیق تر ریاضی و هندسی که اکنون می شناسیم و بر اساس شناخت فیزیکی (نجومی و کیهان شناسی) وسیع تری که به شکل جدید در دسترس قرار دارد، لازم به ن...