ለበለጠ ዘመናዊ የተግባር እሳቤ ኮዶማይንን "ያስታውስ" እና የተገላቢጦሹ ዶሜሽን ሙሉ በሙሉ ኮዶማይን እንዲሆን እንፈልጋለን ስለዚህ የመርፌ ተግባር የማይገለበጥ ከሆነ ብቻ ነው። እሱ ደግሞ ትልቅ ነው።
መርፌ የተገላቢጦሽ ነውን?
የእርስዎ ተግባር f:X→Y በመርፌ የሚሰራ ከሆነ ነገር ግን የግድ ተገዥ ካልሆነ፣ በምስሉ f(X) ላይ የተገለጸ የተገላቢጦሽ ተግባር አለው ማለት ይችላሉ፣ነገር ግን በ ላይ አይደለም ሁሉም Y. የዘፈቀደ እሴቶችን በY∖f(X) በመመደብ ለተግባርዎ የግራ ተገላቢጦሽ ያገኛሉ።
ማትሪክስ መርፌ መሆኑን እንዴት ያውቃሉ?
A ማትሪክስ ይሁን እና አሬድ የቀነሰው የ A. አሬድ በእያንዳንዱ አምድ መሪ 1 ካለው፣ እንግዲያውስ A መርፌ ነው። አሬድ በውስጡ መሪ 1 የሌለው አምድ ካለው ኤ ኢንጀክቲቭ አይደለም።
አንድ ካሬ ማትሪክስ መርፌ ሊሆን ይችላል?
አንድ ካሬ ማትሪክስ A ኢንጀክቲቭ (ወይንም ሰርጀክቲቭ) መርፌ እና ሰርጀክቲቭ ከሆነ፣ ማለትም ትልቅ ከሆነ። ቢጀክቲቭ ማትሪክስ የማይገለባበጥ ማትሪክስ ይባላሉ ምክንያቱም ልዩ የሆነ ስኩዌር ማትሪክስ B (የA ተገላቢጦሽ፣ በ A-1 የተገለፀው) ማለትም AB=BA=I. በመኖሩ ተለይተው ይታወቃሉ።
የግራ ተገላቢጦሽ ከሆነ እና ብቻ መርፌ ነው?
የይገባኛል ጥያቄ፡ f መርፌ ነው ከሆነ እና በግራ ተቃራኒ ካለው ብቻ። ማረጋገጫ፡ (⇒) ረ መርፌ ከሆነ የግራ ተገላቢጦሽ እንዳለው ማረጋገጥ አለብን።መርፌ. (⇒) ረ መርፌ ነው እንበል። አንድ ተግባር መገንባት እንፈልጋለን g: B→ እንደዚህ ያለ g ∘ f=idA.