2 m1m 1 m2m select m1mid m2mid 2from miflaga

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: ן, אזי גם הפירוק ‪ R1,…,Rn,S‬הינו בהכרח ללא אובדן.‬ ‫)שימו לב ש-‪ S‬התווסף לפירוק.(‬ ‫בהוכחה נשתמש בסימבול ‪ ‬כדי לייצג צירוף טבעי, בגלל בעיות פונטים.‬ ‫לפי ההגדרה, הפירוק ל-‪ R1,…,Rn‬הוא ללא אובדן אם לכל מופע ‪ r‬של ‪R‬‬ ‫‪(1) πR1r∇…∇ Rnr = r‬‬ ‫‪π‬‬ ‫כעת, אלינו להוכיח שלכל מופע ‪ ,r‬גם‬ ‫‪(2) πR1r∇…∇ Rnr∇ Sr = r‬‬ ‫‪ππ‬‬ ‫בשימוש בנוסחה )1( , הטענה )2( שקולה ל‬ ‫‪(3) r∇ Sr = r‬‬ ‫‪π‬‬ ‫כעת נשים לב כי:‬ ‫• מכיוון שכל האטריבוטים ב-‪ S‬מופיעים ב-‪ ,r‬לשני הצדדים של משוואה‬ ‫)3( יש אותו סכמה‬ ‫• צד ימין של )3( בודאי מוכל בצד שמאל כי לכל שורה ב-‪ r‬יש שורה ב...
View Full Document

Ask a homework question - tutors are online