توضیحات
گروه ریاضی دانشگاه آزاد اسلامی، واحد کاشان از مجله علوم پایه دانشگاه آزاد اسلامی سال 18 - شماره 70/2 -زمستان 1387 فرض کنیم L یک مشبکه کراندار و f : G ® L یک تابع باشد. ابرعمل o را روی G به ازای هر a,b I G، به صورت زیر تعریف می کنیم: .a o b = {g I G | f(a) U f(b) £ f(g)} ما ثابت می کنیم که اگر G یک زیر مشبکه از L باشد، (G,o) یک فضای اتصال است. همچنین ثابت می کنیم که اگر A یک گروه آبلی، s: G ® A یک تابع و تصویر G زیر مجموعه بسته ای از A باشد، در این صورت (G,o) یک فضای اتصال است. که در آن .a o b = {g I G | s(g) = s(a)s(b)} رده بندی موضوعی در ریاضیات 20N20 sid.ir