مشاهده نسخه کامل
: hasati
24-04-2011, 13:19
باسلام,
این اواخردارم روی MV-جبرها کارمیکنم.وstate MV-Algebrasاگه شما هم چیزی در این زمینه مطالعه کردیدومیدونید خوشحال میشم درادامه بنویسید.
خودم همین اول تعریف MV-جبر رو میارم وسعی میکنم حین مطالبی که میخونم چیزای جدید رو اینجا بنویسم.
همونطور که میدونید وقتی میگیم جبرمنظور یه مجموعه از اشیا به همراه یک یا چندعمل روی اشیای اون مجموعه هست.حال:
An MV-algebra is a system ( M,+ ,',0), where (M ,+, 0) is a commutative monoid with neutral element 0, and for each x,y in M the following equations hold:
1- (x')'=x
2- x+1=1,where 1=0' and
3- x+(x+y')' = y+(y+x')'.
further more we can define other operations as follows:
x-->y = x' +y
x-y=(x-->y)'
x.y=(x' +y')'
x<-->y=(x-->y).(y-->x)
....
توجه داشته باشید که دراینجا Mمیتونه هرمجموعه ای باشه.بنابراین منظور ازعلایم + و . و ...همونایی نیست که درتعداد حقیقی میخونیم. موفق باشید:11:
این اواخردارم روی MV-جبرها کارمیکنم.وstate MV-Algebrasاگه شما هم چیزی در این زمینه مطالعه کردیدومیدونید خوشحال میشم درادامه بنویسید.
خودم همین اول تعریف MV-جبر رو میارم وسعی میکنم حین مطالبی که میخونم چیزای جدید رو اینجا بنویسم.
همونطور که میدونید وقتی میگیم جبرمنظور یه مجموعه از اشیا به همراه یک یا چندعمل روی اشیای اون مجموعه هست.حال:
An MV-algebra is a system ( M,+ ,',0), where (M ,+, 0) is a commutative monoid with neutral element 0, and for each x,y in M the following equations hold:
1- (x')'=x
2- x+1=1,where 1=0' and
3- x+(x+y')' = y+(y+x')'.
further more we can define other operations as follows:
x-->y = x' +y
x-y=(x-->y)'
x.y=(x' +y')'
x<-->y=(x-->y).(y-->x)
....
توجه داشته باشید که دراینجا Mمیتونه هرمجموعه ای باشه.بنابراین منظور ازعلایم + و . و ...همونایی نیست که درتعداد حقیقی میخونیم. موفق باشید:11: