Изменения

А что если <tex> f \equiv 0</tex> ? Тогда <tex> dim Ker f = dim X </tex> (совсем не гиперплоскость) и <tex>Codim Ker f = 0</tex>. Это вроде единственный частный случай. Все остальные доказательство покрывает. --[[Участник:Dmitriy D.|Dmitriy D.]] 18:57, 16 января 2013 (GST)

: Я в каком-то учебнике видел эту теорему, там оговаривалось, что функионал — не тождественный ноль, так что это, видимо, имеется в виду. -- Дмитрий Герасимов