本次课主要内容 平面图的判定与涉及平面性的不变量 (一)、平面图的判定 (二)、涉及平面性的不变量
0.8 1 0.6 0.4 0.2 0 x t 0 0.5 1 1.5 2 1 0.5 0 0.5 1 n 2 本次课主要内容 (一)、平面图的判定 (二)、涉及平面性的不变量 平面图的判定与涉及平面性的不变量
(一)、平面图的判定 ☆ 回顾:已经学过的判定 H2 H3 (1)、观察法 H1 H3 尝试调整图中边或者顶点位置,看能否作平面嵌入
0.8 1 0.6 0.4 0.2 0 x t 0 0.5 1 1.5 2 1 0.5 0 0.5 1 n 3 (一)、平面图的判定 回顾:已经学过的判定 (1)、观察法 A6 A5 A4 A3 A2 A1 A6 A5 A4 A3 A2 A1 尝试调整图中边或者顶点位置,看能否作平面嵌入。 H1 H2 H3 G W E H3 H1 H2 G W E
(2)设G是(m,m)简单图(m≥3),若m>3n-6,则G是非 可平面图。 例1,证明:K是非可平面图。 证明:K是简单图,m=10,n=5.3n-6=9。 得, m>3n-6 ,所以K是非可平面图。 (3)设G=n,m)是连通图,如果: m 1-2 和-2 则G是非可平面图。 例2求证:K33是非可平面图。 证明:注意到,K3是偶图,不存在奇圈,所以,每个面 的次数至少是4,即=4. 所以, 22)62)8 m=9
0.8 1 0.6 0.4 0.2 0 x t 0 0.5 1 1.5 2 1 0.5 0 0.5 1 n 4 (2) 设G是(n , m)简单图 (n≥3) ,若 m>3n-6,则G是非 可平面图。 例1,证明:K5是非可平面图。 证明:K5是简单图,m=10, n=5。3n-6=9。 得, ,所以 m n 3 6 K5是非可平面图。 (3) 设G=(n, m)是连通图,如果: ( 2) 2 l m n l 则G是非可平面图。 例2 求证:K3,3是非可平面图。 证明:注意到,K3,3是偶图,不存在奇圈,所以,每个面 的次数至少是4,即 l=4. 所以, 4 ( 2) (6 2) 8 2 2 l n l m = 9
本次课我们主要介绍波兰数学家库拉托斯基的结果。 1、相关概念 定义1在图G的边上插入一个2度顶点,使一条边分 成两条边,称将图在2度顶点内扩充;去掉一个图的2度 顶点,使关联它们的两条边合并成一条边,称将图G在 2度顶点内收缩。 在2度顶点内收缩 在2度顶点内扩充
0.8 1 0.6 0.4 0.2 0 x t 0 0.5 1 1.5 2 1 0.5 0 0.5 1 n 5 1、相关概念 定义1 在图G的边上插入一个2度顶点,使一条边分 成两条边,称将图在2度顶点内扩充;去掉一个图的2度 顶点,使关联它们的两条边合并成一条边,称将图G在 2度顶点内收缩。 在2度顶点内收缩 在2度顶点内扩充 本次课我们主要介绍波兰数学家库拉托斯基的结果
定义2两个图G,与G,说是同胚的,如果GG,或 者通过反复在2度顶点内扩充和收缩后能够变成一对同 构的图。 上面的G1,G2,G3是同胚图。 注:显然,图的平面性在同胚意义下不变。 6
0.8 1 0.6 0.4 0.2 0 x t 0 0.5 1 1.5 2 1 0.5 0 0.5 1 n 6 定义2 两个图G1与G2说是同胚的,如果 ,或 者通过反复在2度顶点内扩充和收缩后能够变成一对同 构的图。 G G 1 2 G1 G2 G3 上面的G1, G2, G3 是同胚图。 注:显然,图的平面性在同胚意义下不变
定理1(库拉托斯基定理)图G是可平面的,当且仅当 它不含K和K.3同胚的子图。 例1求证:下面两图均是非平面图。 图G 图G2 证明:对于G,来说,按G,在2度顶点内收缩后,可得 到K。所以,由库拉托斯基定理知G,是非可平面图。 图G
0.8 1 0.6 0.4 0.2 0 x t 0 0.5 1 1.5 2 1 0.5 0 0.5 1 n 7 定理1 (库拉托斯基定理) 图G是可平面的,当且仅当 它不含K5和K3,3同胚的子图。 例1 求证:下面两图均是非平面图。 图 G1 图 G2 证明:对于G1来说,按G1在2度顶点内收缩后,可得 到K5。所以,由库拉托斯基定理知G1是非可平面图。 图 G1
对于G,来说,先取如下子图 图G2 G2的一个子图 对上面子图,按2度顶点收缩得与之同胚子图K,3 → 飞3 所以,G是非可平面图。 8
0.8 1 0.6 0.4 0.2 0 x t 0 0.5 1 1.5 2 1 0.5 0 0.5 1 n 8 对于G2来说,先取如下子图 G2的一个子图 对上面子图,按2度顶点收缩得与之同胚子图K3,3: K3,3 所以,G2是非可平面图。 图 G2
例2确定下图是否是可平面图。 分析:我们根据图的结构形式,怀疑该图是非可平 面图。但我们必须找到证据!
0.8 1 0.6 0.4 0.2 0 x t 0 0.5 1 1.5 2 1 0.5 0 0.5 1 n 9 例2 确定下图是否是可平面图。 u1 u2 v1 v2 y1 y2 x1 x2 w1 w2 分析:我们根据图的结构形式,怀疑该图是非可平 面图。但我们必须找到证据!
所以,我们要在该图中寻找一个与k或K33同胚的子图! 由于该图的最大度为4的顶点才4个,所以,不存在与 K同胚的子图。因此,只有寻找与K3同胚的子图! 解:取G中红色边的一个导出子图: u 2 上图显然和K33同胚。由库拉托斯基定理知,G是非可平面的。 10
0.8 1 0.6 0.4 0.2 0 x t 0 0.5 1 1.5 2 1 0.5 0 0.5 1 n 10 u1 u2 v1 v2 y1 y2 x1 x2 w1 w2 所以,我们要在该图中寻找一个与k5或K3,3同胚的子图! 由于该图的最大度为4的顶点才4个,所以,不存在与 K5同胚的子图。因此,只有寻找与K3,3同胚的子图! 解:取G中红色边的一个导出子图: u1 u2 v1 v2 y1 y2 x1 x2 w1 w2 上图显然和K3,3同胚。由库拉托斯基定理知,G是非可平面的
注:1) 库拉托斯基定理可以等价叙述为: 库拉托斯基定理:图G是非可平面的,当且仅当它含有 K或K3.3同胚的子图。 (2)库拉托斯基(1896--1980)波兰数学家。1913年开始 在苏格兰格拉斯哥大学学习工程学,1915年回到波兰发沙 大学转学数学,主攻拓扑学。1921年获博士学位。1930年 在利沃夫大学作数学教授期间,发现并证明了图论中的库 拉托斯基定理。1939年后到发沙大学做数学教授。他的 生主要研究拓扑学与集合论。 了 库拉托斯基于1954年率波兰数学家代表团对我国进行 学术访问,还送给了华罗庚一些波兰数学家写的数论函数 论文
0.8 1 0.6 0.4 0.2 0 x t 0 0.5 1 1.5 2 1 0.5 0 0.5 1 n 11 注: (1) 库拉托斯基定理可以等价叙述为: 库拉托斯基定理:图G是非可平面的,当且仅当它含有 K5或K3,3同胚的子图。 (2) 库拉托斯基 (1896---1980) 波兰数学家。1913年开始 在苏格兰格拉斯哥大学学习工程学,1915年回到波兰发沙 大学转学数学,主攻拓扑学。1921年获博士学位。1930年 在利沃夫大学作数学教授期间,发现并证明了图论中的库 拉托斯基定理。1939年后到发沙大学做数学教授。他的一 生主要研究拓扑学与集合论。 库拉托斯基于1954年率波兰数学家代表团对我国进行了 学术访问,还送给了华罗庚一些波兰数学家写的数论函数 论文