שאלה| קיבוציות

**Kindred** · 01-30-2011, 04:56 PM

נתונה לי המודל הבא לאקסיומות החבורה:

f,g,h,k {1,2,3,4} -> {1,2,3,4}
f היא פונקצית הזהות , 2=(1)g 1=(2)g 3=(3)g 4=(4)g
1=(1)h 2=(2)h 4=(3)h 3=(4)h
k=g*h (* הרכבה)

אני לא מצליח להוכיח קיבוציות מבלי להוכיח כל צירוף אחד אחרי השני (זה יקח לי שנים!)
אז יש דרך להוכיח קיבוציות? כל השאר הצלחתי

**~גלואה Αυολακγ~** · 01-30-2011, 05:00 PM

פורסם במקור על ידי Ilan

נתונה לי המודל הבא לאקסיומות החבורה:

f,g,h,k {1,2,3,4} -> {1,2,3,4}
f היא פונקצית הזהות , 2=(1)g 1=(2)g 3=(3)g 4=(4)g
1=(1)h 2=(2)h 4=(3)h 3=(4)h
k=g*h (* הרכבה)

אני לא מצליח להוכיח קיבוציות מבלי להוכיח כל צירוף אחד אחרי השני (זה יקח לי שנים!)
אז יש דרך להוכיח קיבוציות? כל השאר הצלחתי

לא הבנתי איך מוגדרות h ו-g.
ולפי מה שזכור לי (בכל זאת עברו 4 שנים), צריך להוכיח הכל ישירות...

**Kindred** · 01-30-2011, 05:07 PM

שכחתי לומר שהפעולה הבינארית היא הרכבת הפונקציות
וG וH
זה פשוט שאין פסיקים הנה הפרדתי

2=(1) , 1=(2)g, 3=(3)g, 4=(4)g
1=(1)h 2,=(2),h 4=(3),h 3=(4)h

וישירות? מה כלומר להוכיח איזה 50 צירופים שונים יקח לי שנים להוכיח

**~גלואה Αυολακγ~** · 01-30-2011, 05:09 PM

פורסם במקור על ידי Ilan

שכחתי לומר שהפעולה הבינארית היא הרכבת הפונקציות
וG וH
זה פשוט שאין פסיקים הנה הפרדתי

2=(1) , 1=(2)g, 3=(3)g, 4=(4)g
1=(1)h 2,=(2),h 4=(3),h 3=(4)h

וישירות? מה כלומר להוכיח איזה 50 צירופים שונים יקח לי שנים להוכיח

כן, ישירות.
להוכיח 50 צירופים שונים אלא אם כן אתה מוצא איזושהי חוקיות כללית..

**Kindred** · 01-30-2011, 05:10 PM

ויש אחת כזאת?

**~גלואה Αυολακγ~** · 01-30-2011, 05:15 PM

פורסם במקור על ידי Ilan

ויש אחת כזאת?

אני לא רואה אחת כזאת.

**Kindred** · 01-30-2011, 05:21 PM

ואם הא חילופית זה עוזר במשהו?

**~גלואה Αυολακγ~** · 01-30-2011, 05:25 PM

פורסם במקור על ידי Ilan

ואם הא חילופית זה עוזר במשהו?

קומוטטיביות לא קשורה בכלל לאסוציאטיביות

**Kindred** · 01-30-2011, 05:32 PM

מה??

הנה טבלת הפעולה של החבורה

f*f=f
g*g=f
h*h=f
k*k=f
f נייטרלי
g*h=k
h*g=k
g*k=h
k*g=h
k*h=g
h*k=g
וזהו אתה יכול להסיק משהו כי זה לא הגיוני שאין חוקיות

**Kindred** · 01-30-2011, 05:36 PM

אני שואל אם הרכבה של הפונקציות האלה מהווה חבורה משהו שהבנתי שכן אבל הקבוציות תיקח לי מלא זמן להוכיח ואני מזהה חוקיות כלשהי

**~גלואה Αυολακγ~** · 01-30-2011, 05:38 PM

פורסם במקור על ידי Ilan

מה??

הנה טבלת הפעולה של החבורה

f*f=f
g*g=f
h*h=f
k*k=f
f נייטרלי
g*h=k
h*g=k
g*k=h
k*g=h
k*h=g
h*k=g
וזהו אתה יכול להסיק משהו כי זה לא הגיוני שאין חוקיות

אין קשר בין קומוטטיביות לאסוציאטיביות.
הדבר היחיד שאני רואה מטבלת הפעולה של החבורה היא שבמקרה הכללי כאשר a1,a2,a3 נמצאות שם ושונות מהנייטרלי תמיד a1*a2=a3 וגם a1*a3=a2 וגם a2*a3=a1.
מכאן אני בטוח שאתה יכול להמשיך לבד...

**LordAbizi** · 01-30-2011, 05:39 PM

פורסם במקור על ידי Ilan

אני שואל אם הרכבה של הפונקציות האלה מהווה חבורה משהו שהבנתי שכן אבל הקבוציות תיקח לי מלא זמן להוכיח ואני מזהה חוקיות כלשהי

סליחה שמחקתי את ההודעה וגרמתי לך לדאבל פוסט.
הרכבת פונקצית באופן כללי זו פעולה קיבוצית, ולדעתי זה אפילו מוכח איפשהו.

**~גלואה Αυολακγ~** · 01-30-2011, 05:41 PM

פורסם במקור על ידי LordAbizi

סליחה שמחקתי את ההודעה וגרמתי לך לדאבל פוסט.
הרכבת פונקצית באופן כללי זו פעולה קיבוצית, ולדעתי זה אפילו מוכח איפשהו.

אל תדאג, זה בסדר.
אני רואה שיש הודעה שלך בין 2 ההודעות שלו...
ואביזי צודק, הרכבת פונקציות היא אסוציאטיבית.
אם אתה רוצה, אני יכול להוכיח לך זאת.

**Kindred** · 01-30-2011, 05:46 PM

אפשר להוכיח ככה?

נוכיח כי בכללי פעולת הרכבת פונקציות היא קיבוצית a,b,c פונקציות
(a*b)*c=a*(b*c)
נובע מההגדרה של הרכבת פונקציות ש:
a(b)*c=a(b(c))Z
a(b(c))=a(b(c))Z

**LordAbizi** · 01-30-2011, 05:50 PM

פורסם במקור על ידי Ilan

אפשר להוכיח ככה?

נוכיח כי בכללי פעולת הרכבת פונקציות היא קיבוצית a,b,c פונקציות
(a*b)*c=a*(b*c)
נובע מההגדרה של הרכבת פונקציות ש:
a(b)*c=a(b(c))Z
a(b(c))=a(b(c))Z

ההוכחה צריכה ללכת בערך כך:
נניח ש- f.g.h פונקציות המוגדרות מקבוצות כאלו שכל ההרכבות שאעשה עכשיו מוגדרות. יהי x בתחום.
אז

fo(goh)(x) = f(goh(x)) = f(g(h(x))) z
fog)oh(x) = (fog) (h(x)) = (f(g(h(x))) z)

לפי כך, לכל x בתחום יש שיוויון בין fo(goh) לבין (fog)oh, ולכן פונקציות אלו שוות.

נושא: שאלה| קיבוציות

הגדרות נושא

מידע על הנושא

משתמשים שצופים באשכול

הרשאות