Commutant lifting theorem
ஆபரேட்டர் கோட்பாட்டில், Sz.-Nagy மற்றும் ஃபோயாக்கள் காரணமாக ஏற்படும் கம்யூட்டன்ட் லிஃப்டிங் தேற்றம், பல இடைக்கணிப்பு முடிவுகளை நிரூபிக்கப் பயன்படுத்தப்படும் ஒரு சக்திவாய்ந்த தேற்றமாகும். கம்யூட்டன்ட் லிஃப்டிங் தேற்றம் ஒரு ஹில்பர்ட் இடத்தில் ஒரு சுருக்கமாக இருந்தால், சில ஹில்பர்ட் இடத்தில் செயல்படும் அதன் குறைந்தபட்ச யூனிட்டரி டைலேஷன் (இது Sz.-Nagy இன் டைலேஷன் தேற்றத்தால் இருப்பதைக் காட்டலாம்), மற்றும் பயணத்தில் ஒரு ஆபரேட்டர் என்றால், அத்தகைய பயணத்தில் ஒரு ஆபரேட்டர் இருக்கிறார் மற்றும் இங்கே, மேலே இருந்து திட்டம். வேறு வார்த்தைகளில் கூறுவதானால், டி இன் பரிமாற்றத்திலிருந்து ஒரு ஆபரேட்டரை டி பயன்பாடுகளின் யூனிட்டரி டைலேஷனின் பரிமாற்றத்தில் ஒரு ஆபரேட்டருக்கு "உயர்த்தலாம்" இடது நெவன்லின்னா-பிக் இடைக்கணிப்பு தேற்றம், சரசன் இடைக்கணிப்பு தேற்றம் மற்றும் இரு பக்க நூடெல்மேன் தேற்றம் ஆகியவற்றை நிரூபிக்க பரிமாற்ற லிஃப்டிங் தேற்றம் பயன்படுத்தப்படலாம். குறிப்புகள் வெர்ன் பால்சென், முற்றிலும் எல்லைக்குட்பட்ட வரைபடங்கள் மற்றும் ஆபரேட்டர் ஆல்ஜிப்ராஸ் 2002, பி Sz.-Nagy மற்றும் சி. ஃபோயாஸ், "இன்டர்டைனிங் ஆபரேட்டர்கள் மற்றும் சில புதிய பயன்பாடுகளுக்கான" லிஃப்டிங் தேற்றம் "," இந்தியானா யுனிவ். கணிதம். ஜே 20 (1971): 901-904 ஃபோயாஸ், சிப்ரியன், பதிப்பு. மெட்ரிக் கட்டுப்படுத்தப்பட்ட துருவமுனைப்பு, கம்யூட்டன்ட் லிஃப்டிங் மற்றும் அமைப்புகள். தொகுதி. 100 ஆக உள்ளது. ஸ்பிரிங்கர், 1998. செயல்பாட்டுக் கோட்பாடு செயல்பாட்டு பகுப்பாய்வில் கோட்பாடுகள்