DOI ：1

0．1
380
4／j．
cnki ．
20
95－
69
91．
19
92．
01．
00
5

年第 期 甘 肃教 育 学 院 学 报 自然 科 学版

最 小 模 原 理 的 三 种 形 式
康 美 成

一 最小模原 理 的第 一 形 式
， ，
定理 设 为复平面 上 的 区域 函数 劝是 内不 恒 为 常 数 的 解 析 函 数 且在 内
， 。

的一 点 有 笋 则 不可 能是 的最 小值
，

此 定 理 的 一 般 证 法 是 采 用反 证法 应 用 最 大模原理 即可 得 出结论 现 应 用 解 析 函 数 的保
。

域 性 原 理 给 出 另外 一 种 证 明 方 法
， ，
证明 因为函数 在区域 内解 析 且不 恒 为常数 根据解析 函 数 的 保 域 性 原
， ‘ 。 ，
子
理 则 的象 是一个 区域 假设 在点 取 得最 小 模 令
， ‘ ， ， ， ， 。 ，
占
是 的 内点 因 而 存 在点 的 某 一 邻 域 有 仁 显 然在
。 。
， ， 二 ，
口
中必存 在 异 于 点 的点 有 川 设 日的 原 象 为 日 则 有
。 。
。 ，
这与 是 的最 小模 的假 没相矛 盾 于 是 定 理 的 结论 成 立

二 最小 模 原 理 的第二 形 式
， ，
在最 小 模 原 理 的 第 一 形 式 中 为区域 叩 是连通 的开 集 如 是开 集 则 有下 述 的
定理
， ，
定理 设 为复 平 面 上 的 有 界开 集 函数 是 内不 为 零 的 解 析 函 数 且在 二

”
，
上连续 则
，川 〔 。 。刀
二 二 ·

可 呻
’ 脚一刀
， ， ，
证明 因为 有界 是 闭集 由 定理 知 是紧集 又因 为
所 以存 在 一 点 〔 “
， ，
函数 在 力上 连 续 使 得 对 万上的 一 切 点 都 石
之
百
，
如果 是 常数 结 论 自然 成 立
这 时。 〔
， ，
如果 劝 不 是 常数 或者 〔 若 〔 若 〔
。 ，

结论 成立 由于 是开
， ，
集 则存 在点 的 一 个 邻 域 在 与解 析
，
且
。 ，
劝 由最 小 模 原 理 的 第 一 形 式 知 这是不可 能的
，
除非 是 常数 山此可 知
，
定 理纷
。

论成立

三 最小 模原 理 的第 三 形 式
，
在 最 小 模 原 理 的 第二 形 式 中 开集 的有界性 是 保 证 定 理 成 立 的 一 个 重 要 的 条 件 如 果
 ，，
甘肃 教育学 院学报 自然科 学版 年第 期

去 掉 它 贝。定 理 不 成 立 下 面 的 例 子 贝。可 说 明 这 一 点
晋，
，
设 二 ‘。 一 “
晋
如果 。
于 二， ， ， ，
可 以看出 在 连续 在 内解 析 则二 二 士
晋
幼
一 粤一
“ ，“
，
引
几 胡

…丽协 －
二
万 了 ，
，
劝
防 瓮两 但 当点 沿 着正 实轴 趋 于 时 习

。 ，
。 ，
虽 然如 此 开集 的 有 界性 还 可 以 代 之 以 关 于 劝 当 趋于 时 的 增 长 性 条 件 为此
我 们 给 出下 述 定 义
。
〔 口或 。 当 ，。 时
， ， ，

定义 如果 ‘ ， 的下极限定义 为
‘ 〔 ， ，
。 ，
‘ 二 门 当 时

， ， 。 ， ·

下仁 二 二 的度 量 下 的 圆
魂
‘ 一 ‘
卜即 是 扩 充 复平 面
犷
如 果‘ 当‘ 有 界 时
， ， ， ，
则令 表示 在 中的 边 界 并 称 为扩 充 边 界 显然
‘ 当 ‘ 是 无 界时 ‘ ‘
二 ， ，
则
，
定理 设 为 复平 面 上的 区域 是 内不 取 零 的 解析 函 数 如 果 存 在一 个 常 数
， 使 得 对于 。 ‘” 几‘
“ ，
上 的所 有 点 都 有乙
沈 习 则对 刀 内 的 所 有 点 都 有

￡
〔 一 。
， ，
证明 显然 只 须证明对任 何 点集 是 空 集 就
。

行了
“ “ ‘ 》
， · ，
由于 是连续的 所以 是开集 又对 上的 点 有 所
沁 恕
， ， ， 一 ，
以存 在 一 个 圆 使 得 对于 门 内的 所 有 点 都 有 因 此
。 ， ，
因 为 这 条 件 当 无 界且 时也 成立 故 万 必 有界 于 是 推 知万 为紧 集 现在
劝 《 万 一 ‘
所 以 对。
， ，
上 应 有 最 小 模 原 理 的 第二 形 式 但 由于 万 已 上 的点 有
》
， 二 ， 之
习 因此 中或 者 是 一 常数 如 果 了劝 是一 常数 由假 设 推 出
一
，
从而 帆
附注 ‘ 前 面 的例 子 在 “ 处
，
破坏 了 ‘” 了
’
” 这一 条件

附注 本 命题 没 有 为 界 区 域 的假 定