У мене є кілька запитань щодо доказів у Додатку А Саннікова (2007), Ігри з непомітно спостережуваними діями в безперервному часі .
- У лемі 4, коли він показує Ліпшицьку спадкоємність в , він отримує допоміжну функцію , приймає його похідну та обмежує цю похідну (стор. 41). Як він так зв'язаний? Що? Як він здатний пов'язати чинник, що стосується і ?
- У пропозиції 4, чому ліпшицька безперервність об'єктивної гарантії неперервності функції значення? Це просто випливає з Максимальної теореми ? Якщо так, то навіщо нам була потрібна наступність Ліпшица?
- Також у пропозиції 4: чому початкова кривизна є позитивною гарантією того, що вона залишається позитивною?
- Як визначається ідемпотенція гарантувати це ?