"Ростки в точке" страница 92
примерно так
рассмотрм точку
и такое отношение эквивалентности на функциях:
, если
такой, что
и
совпадают на
соответствующие классы эквивалентности называются ростками функций в нуле (относительно фильтра открытых окрестностей)
ясно, что разные функции (у бурбаки даже непрерывность не требуется) могут иметь один и тот же росток в данной точке
однако, например, разные
аналитические функции не могут иметь одинаковые ростки ни в какой точке
т.е. "росток" в данном случае некоторая формализация фразы "аналитическая функция задается произвольно малой окрестностью"
и термин этим объясняется: из ростка с помощью аналитического продолжения распускается голоморфная
ветвь(до первого
милиционеполюса:))
Если вместо фильтра открытых множеств взять фильтр всех множеств (содержащих данную точку), то две функции имеют один росток если их значения в этой точке совпадают
для разных нужд разные ростки:)
-- Сб дек 25, 2010 02:16:55 --а... для гладких функций принадлежность к одному ростку (фильтр открытых множеств) означает равенство всех производных... тоже формализация фразы "производная функции зависит только от ее поведения в произвольно малой окрестности данной точки"
с этой точки зрения мы дифференцируем не функции, а их ростки:)))