Oka's lemma
ಗಣಿತಶಾಸ್ತ್ರದಲ್ಲಿ, ಕಿಯೋಶಿ ಓಕಾ ಅವರು ಸಾಬೀತುಪಡಿಸಿದ ಓಕಾದ ಲೆಮ್ಮಾವು, ಹೋಲೋಮಾರ್ಫಿಯ ಡೊಮೇನ್ನಲ್ಲಿ, ಕಾರ್ಯವು ಪ್ಲುರಿಸುಫಾರ್ಮೋನಿಕ್ ಆಗಿದೆ, ಅಲ್ಲಿ ಗಡಿಗೆ ದೂರವಿದೆ. ಈ ಗುಣಲಕ್ಷಣವು ಡೊಮೇನ್ ಸೂಡೋಕಾನ್ವೆಕ್ಸ್ ಎಂದು ತೋರಿಸುತ್ತದೆ. ಐತಿಹಾಸಿಕವಾಗಿ, ಈ ಲೆಮ್ಮಾವನ್ನು ಮೊದಲ ಬಾರಿಗೆ ಹಾರ್ಟಾಗ್ಸ್ ಡೊಮೇನ್ನಲ್ಲಿ ಎರಡು ಅಸ್ಥಿರಗಳ ಸಂದರ್ಭದಲ್ಲಿ ತೋರಿಸಲಾಗಿದೆ, ಓಕಾದ ಲೆಮ್ಮಾವು ಲೆವಿಯ ಸಮಸ್ಯೆಯ ವಿಲೋಮವಾಗಿದೆ (ಅನಿಯಂತ್ರಿತ ರೀಮನ್ ಡೊಮೇನ್ ಓವರ್). ಬಹುಶಃ ಅದಕ್ಕಾಗಿಯೇ ಓಕಾ ಅವರು ಲೆವಿಯ ಸಮಸ್ಯೆಯನ್ನು "ಪ್ರೋಬ್ಲೆಮ್ ಇನ್ವರ್ಸ್ ಡಿ ಹಾರ್ಟಾಗ್ಸ್" ಎಂದು ಕರೆದರು ಮತ್ತು ಲೆವಿಯ ಸಮಸ್ಯೆಯನ್ನು ಸಾಂದರ್ಭಿಕವಾಗಿ ಹಾರ್ಟಾಗ್ಸ್ನ ಇನ್ವರ್ಸ್ ಪ್ರಾಬ್ಲಮ್ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ಸಂಕೀರ್ಣ ವಿಶ್ಲೇಷಣೆಯಲ್ಲಿ ಪಿಡಿಎಫ್ ಟೆಕ್ ಪ್ರಮೇಯಗಳನ್ನು ಮತ್ತಷ್ಟು ಓದುವ ಉಲ್ಲೇಖಗಳು ವಿಶ್ಲೇಷಣೆಯಲ್ಲಿ ಲೆಮ್ಮಾಗಳು