مرز (توپولوژی)

در توپولوژی و ریاضیات در حالت کلی، مرز الگو:انگلیسی زیرمجموعه‌ای چون $S$ از فضای توپولوژی $X$ ، مجموعه‌ای از نقاطی اند که می‌توان هم از $S$ و هم خارج از $S$ به آن‌ها نزدیک شد. به‌طور دقیق‌تر، مجموعه‌ای از نقاط در بستار $S$ که به درون $S$ تعلق ندارند. عنصری از مرز $S$ را نقطه مرزی $S$ نامند. اصطلاح عملیات مرزی، به یافتن یا گرفتن مرز یک مجموعه اشاره دارد. نمادهای به کار رفته برای مرز یک مجموعه چون $S$ ، شامل این موارد اند: $bd (S)$ و $\partial S$ و $fr (S)$ . برخی از مؤلفان (مثل ویلارد، در کتاب توپولوژی عمومی خود)، از اصطلاح frontier به جای boundary برای این مفهوم استفاده می‌کنند تا از اشتباه شدن آن با مفهوم متفاوتی با همین نام که در توپولوژی جبری و نظریه منیفلدها استفاده می‌گردد، اجتناب شود. با وجود پذیرش وسیع اصطلاحات مذکور، اما برخی مواقع دیده شده که برای مفاهیم متفاوتی نیز به کار می‌روند. به عنوان مثال، فضاهای متریک اثر E. T. Copson، از اصطلاح مرز جهت ارجاع به اصطلاح border متعلق به هاسدورف استفاده شده که به صورت اشتراک یک مجموعه با مرز خود تعریف می‌گردد.^[۱] همچنین هاسدورف اصطلاح مانده یا residue را معرفی نمود که آن را به صورت اشتراک یک مجموعه و بستار مرز متممش تعریف می‌نمود.^[۲]