בתשובה לליאור גולגר, 29/12/01 17:49
אם להיות דרעק 50431
חלילה לי מלהעליב, אך נראה לי כי למשיהו דרוש קורס מזורז בפלורליזם נוטציוני.

בתחום מחקר הלוגיקה הפורמלית מקובל להשתמש בנוטציה
<a, b, c, ..>
כדי לתאר אוסף של אובייקטים, המרקיבים (pun intended) אובייקט חדש כלשהו.
כך תגדיר מילון מסויים T (בלוגיקה מסדר ראשון):
T:= <N, R1(*,*), F1(*,*), c1, c2>

לא מדובר פה בצורה כלשהי של סוגרי דיראק. ובכלל, ההנחה שלך שניתן לייצג את הריקבון כאופרטור ליניארי דווקא נראית לי מפוקפקת. אבל זה דיון אחר.
אם להיות דרעק 50438
Where do I assume that R is linear? How would you write it?

Anyways, I'm afraid I that wasn't a proper eigenvalue equation, maybe Ephophides could fix it out when he reports back.

Does that notation in formal logics define a vector?
אם להיות דרעק 50544
אופרטורים לא ליניארים? עם ערכים עצמיים? אמא'לה!

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

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים