[图解]建模相关的基础知识-09

1
00:00:01,350 --> 00:00:03,780
首先，我们来看一下什么叫关系

2
00:00:05,370 --> 00:00:08,990
这个关系跟下面说的这些关系

3
00:00:09,000 --> 00:00:10,390
它不是一个东西

4
00:00:11,110 --> 00:00:14,950
比如说，我们UML类图上，类有关系

5
00:00:15,740 --> 00:00:19,080
还有，用例跟用例有关系等等

6
00:00:21,650 --> 00:00:25,760
里面说的关系就是图上那根线

7
00:00:26,890 --> 00:00:30,610
图上的连接符，两个结点

8
00:00:32,450 --> 00:00:34,850
不管这结点是类还是用例还是什么

9
00:00:35,100 --> 00:00:37,370
还是一个执行者一个用例之类的

10
00:00:37,790 --> 00:00:39,460
中间有根线

11
00:00:39,820 --> 00:00:41,190
线有时还带一个箭头

12
00:00:42,210 --> 00:00:43,250
这个叫关系

13
00:00:46,250 --> 00:00:51,800
但是这里说的关系跟这个不是一个东西

14
00:00:53,550 --> 00:00:55,550
跟UML的类关系

15
00:00:56,200 --> 00:00:58,070
用例关系不是一个意思

16
00:00:58,520 --> 00:01:00,080
也跟实体关系图

17
00:01:00,090 --> 00:01:01,490
那个关系

18
00:01:01,500 --> 00:01:02,610
不是一个

19
00:01:02,620 --> 00:01:05,550
实体关系图的关系跟我们类图上面的类关系

20
00:01:05,560 --> 00:01:06,790
是差不多的

21
00:01:10,250 --> 00:01:11,160
关系是什么

22
00:01:11,680 --> 00:01:15,280
我们前面讲了集合

23
00:01:15,600 --> 00:01:21,180
然后集合A乘B，就是笛卡尔积

24
00:01:22,960 --> 00:01:25,790
关系就是从A×B里面

25
00:01:26,840 --> 00:01:27,840
挑出一些

26
00:01:28,490 --> 00:01:29,910
挑出一些来

27
00:01:31,990 --> 00:01:35,350
挑出一些AB的对应关系来

28
00:01:37,160 --> 00:01:39,830
这样的子集，就叫一个关系

29
00:01:39,840 --> 00:01:47,100
也就是说，关系里面的任何一个元素

30
00:01:47,720 --> 00:01:54,040
它都属于A乘B这个里面的元素

31
00:01:54,860 --> 00:02:00,370
比如说，刚才我们讲集合

32
00:02:00,380 --> 00:02:04,250
集合A是xyz，集合B，12 

33
00:02:04,980 --> 00:02:07,290
如果笛卡尔积应该有6个

34
00:02:08,130 --> 00:02:11,030
3×2=6个，x1

35
00:02:12,360 --> 00:02:14,830
应该是这样，X→1，X→2

36
00:02:15,530 --> 00:02:16,730
Y→1，Y→2

37
00:02:17,260 --> 00:02:17,730

38
00:02:18,250 --> 00:02:21,840
然后Z→1、Z→2这样的，应该有6个

39
00:02:25,220 --> 00:02:26,730
这6个是不是关系，是的

40
00:02:27,910 --> 00:02:31,780
但是只要你是在从这6个里面

41
00:02:31,790 --> 00:02:35,580
挑出任何1个或几个来

42
00:02:37,690 --> 00:02:43,160
都算是A到B的关系

43
00:02:44,750 --> 00:02:50,150
比如说，这里面就挑了4个

44
00:02:50,960 --> 00:02:53,340
1个2个3个4个

45
00:02:53,990 --> 00:02:59,650
这就是其中的1个关系

46
00:03:07,430 --> 00:03:09,870
或者说，R是从集合A到

47
00:03:09,880 --> 00:03:12,500
集合B的一种二元关系

48
00:03:15,450 --> 00:03:19,360
你看，上面这个，它是A乘B的子集

49
00:03:19,970 --> 00:03:23,300
我们前面讲了幂集，实际上就等价于什么

50
00:03:24,740 --> 00:03:28,840
R是A乘B的幂集的元素

51
00:03:29,580 --> 00:03:30,940
我是你的子集

52
00:03:30,950 --> 00:03:35,380
我是你的幂集的元素，一样的

53
00:03:39,750 --> 00:03:42,090
这是关系的概念

54
00:03:47,500 --> 00:03:55,290
我们来看，这个映射

55
00:03:55,380 --> 00:04:03,040
我们看另外一种更特别的关系

56
00:04:03,290 --> 00:04:04,760
比关系要特别一点的

57
00:04:06,680 --> 00:04:11,480
没有两个元素有相同第1坐标的二元关系

58
00:04:15,460 --> 00:04:22,880
就是说，左边这个第1坐标一旦定了

59
00:04:23,240 --> 00:04:25,810
右边只能有一个

60
00:04:27,300 --> 00:04:29,800
所以，像这个就不是

61
00:04:29,810 --> 00:04:33,720
你看，X这个地方它有两个对应值

62
00:04:34,780 --> 00:04:41,360
一个1个2，也就是说，集合有X，1

63
00:04:41,370 --> 00:04:41,760
X，2

64
00:04:41,770 --> 00:04:44,580
这两个是同一个第1坐标的

65
00:04:45,860 --> 00:04:46,270

66
00:04:48,390 --> 00:04:49,570
第1坐标是一样的

67
00:04:51,230 --> 00:04:56,260
所以这个就不叫函数

68
00:04:56,270 --> 00:04:59,850
函数就是没有两个元素有相同

69
00:04:59,860 --> 00:05:01,170
第1坐标的二元关系

70
00:05:01,790 --> 00:05:02,980
所以这个不是函数

71
00:05:03,440 --> 00:05:05,590
什么才是，把其中一个删掉

72
00:05:06,200 --> 00:05:08,760
比如说，这里，不要这个了

73
00:05:11,060 --> 00:05:12,260
这就行，对不对

74
00:05:12,270 --> 00:05:14,300
把X，2这个删掉

75
00:05:15,190 --> 00:05:16,020
这个就可以

76
00:05:24,870 --> 00:05:28,450
那么如果在图上来表达，意思是什么

77
00:05:28,460 --> 00:05:31,380
就是集合上的每个元素

78
00:05:32,950 --> 00:05:39,060
都恰好有一条出发的箭头

79
00:05:39,070 --> 00:05:44,930
有而且恰好有一条，必须要有

80
00:05:45,140 --> 00:05:47,490
因为你要是没有，意味着什么

81
00:05:48,340 --> 00:05:50,130
给定你一个这个值

82
00:05:50,910 --> 00:05:53,240
你这边找不到对应的

83
00:05:53,250 --> 00:05:56,950
问你，当这个是Z的时候，这边是多少

84
00:05:57,280 --> 00:05:57,910
没有

85
00:05:58,300 --> 00:05:58,610

86
00:06:02,460 --> 00:06:04,250
显然那就不符合我们刚才讲的

87
00:06:04,260 --> 00:06:06,250
从这里面挑的都有

88
00:06:06,510 --> 00:06:07,980
那就不是从这里面挑了

89
00:06:09,190 --> 00:06:11,710
从笛卡尔积里面挑了

90
00:06:12,250 --> 00:06:14,170
肯定有

91
00:06:14,490 --> 00:06:16,080
而且恰好只有一条

92
00:06:18,920 --> 00:06:23,340
那么二元关系就可以叫做该集合上的函数

93
00:06:23,550 --> 00:06:25,460
比如说，这个就可以叫集合A上

94
00:06:25,710 --> 00:06:30,670
如果把这个删掉，抹掉的话

95
00:06:31,120 --> 00:06:33,760
那么这个就可以叫集合A上的一个函数

96
00:06:34,050 --> 00:06:38,760
函数就是一个特殊的关系

97
00:06:41,950 --> 00:06:43,950
那么这个函数，后面我们还会看到

98
00:06:44,120 --> 00:06:46,950
很多地方还会再出现的

99
00:06:46,960 --> 00:06:49,310
包括我们讲的什么函数依赖

100
00:06:50,500 --> 00:06:53,460
x→y，意味着什么

101
00:06:54,080 --> 00:06:57,020
x定了

102
00:06:57,030 --> 00:06:58,020
y就定了

103
00:06:59,550 --> 00:07:05,630
x决定y，y依赖于

104
00:07:05,640 --> 00:07:10,410
依赖于x，或者x决定了y 

105
00:07:10,420 --> 00:07:13,090
函数决定了y，一会还会再说到

106
00:07:17,820 --> 00:07:22,790
在说我们怎样建模的规范化的时候

107
00:07:23,000 --> 00:07:24,350
还会再说到这个问题

108
00:07:26,540 --> 00:07:31,240
或者说，形式上定义得严格一点

109
00:07:31,250 --> 00:07:33,940
就是这个，F是A上的函数

110
00:07:34,680 --> 00:07:36,780
当且仅当

111
00:07:38,220 --> 00:07:44,470
F是这个A乘B幂集的元素

112
00:07:44,480 --> 00:07:46,950
就是F是A乘B的子集了

113
00:07:46,960 --> 00:07:49,870
意思这个就是关系了

114
00:07:50,350 --> 00:07:54,050
这就是关系

115
00:07:55,700 --> 00:07:56,970
这是第一个条件

116
00:07:57,220 --> 00:07:58,810
下面就是后面的条件

117
00:07:59,870 --> 00:08:01,690
这是关系

118
00:08:02,590 --> 00:08:09,310
任意的p1、p2

119
00:08:10,450 --> 00:08:12,660
F里面挑两个p1p2

120
00:08:13,610 --> 00:08:15,090
如果p1不等于p2

121
00:08:16,130 --> 00:08:16,770
意味着什么

122
00:08:17,640 --> 00:08:19,700
π1(p1)不等于π1（p2），也就是说

123
00:08:21,720 --> 00:08:24,260
两根不同的线的话

124
00:08:25,790 --> 00:08:30,200
它不应该有同样的第1坐标

125
00:08:30,210 --> 00:08:32,520

126
00:08:38,640 --> 00:08:40,110
如果p1、p2不相同

127
00:08:40,370 --> 00:08:42,280
第1坐标应该不同

128
00:08:43,700 --> 00:08:46,070
如果相同，那就是刚才那个了

129
00:08:46,790 --> 00:08:52,230
X，1、X，2，就出现这个了

130
00:08:52,240 --> 00:08:53,470
那就不是函数了

131
00:08:54,440 --> 00:08:58,020
那么这个时候，给你个x的值

132
00:08:58,030 --> 00:08:59,220
你到底值是多少

133
00:08:59,230 --> 00:09:01,000
是1是2

134
00:09:01,010 --> 00:09:01,760
那就不定了

135
00:09:04,660 --> 00:09:06,300
这是第一个条件

136
00:09:06,310 --> 00:09:07,420
第二个条件

137
00:09:07,430 --> 00:09:08,740
这是与

138
00:09:09,080 --> 00:09:11,450
都是与，同时成立的

139
00:09:12,050 --> 00:09:14,730
第三个条件，第1坐标

140
00:09:19,650 --> 00:09:24,260
π1(p)，第1坐标

141
00:09:24,270 --> 00:09:31,530
它是组成了A这个集合

142
00:09:31,540 --> 00:09:35,120
也就是说，这个第1坐标是在A里面的

143
00:09:36,060 --> 00:09:37,370
第1坐标的集合

144
00:09:37,380 --> 00:09:40,460
合并起来

145
00:09:40,470 --> 00:09:42,670
刚好就是A，第1坐标集合

146
00:09:42,680 --> 00:09:44,600
就是A，也就是说

147
00:09:44,610 --> 00:09:46,160
A的每个元素

148
00:09:46,170 --> 00:09:48,670
都必须作为第1坐标出现

149
00:09:48,680 --> 00:09:56,330
这样来通过比较形式化的方式来表达它

150
00:10:02,940 --> 00:10:07,610
我们看，下面哪些是函数

151
00:10:07,780 --> 00:10:11,420
大家可以看一眼，函数是什么

152
00:10:11,430 --> 00:10:14,030
我们刚才讲了，第1坐标定了

153
00:10:14,040 --> 00:10:17,030
第2坐标就定下来

154
00:10:36,940 --> 00:10:40,620
好，我们来看哪些是，这里

155
00:10:41,360 --> 00:10:42,640
F1就不是，为什么

156
00:10:42,650 --> 00:10:48,170
你看，X，1、X，2这个地方不是

157
00:10:48,180 --> 00:10:50,820
X有两个对应的，不对

158
00:10:51,900 --> 00:10:54,920
F2是，F3是

159
00:10:55,270 --> 00:10:56,340
为什么F3是

160
00:10:56,920 --> 00:11:01,350
虽然这里有两个一模一样的

161
00:11:02,400 --> 00:11:06,590
有两个X好像有两个有序对

162
00:11:06,600 --> 00:11:09,310
但实际上这两个在集合里面是一个元素

163
00:11:10,160 --> 00:11:14,070
我们前面讲集合的一个特点是什么

164
00:11:14,080 --> 00:11:16,110
没有相同的元素

165
00:11:16,650 --> 00:11:19,150
所以这两个就是一个

166
00:11:23,420 --> 00:11:25,650
所以F3也是函数

167
00:11:26,120 --> 00:11:27,330
F4是函数

168
00:11:31,060 --> 00:11:40,030
只有一个有序对

169
00:11:40,740 --> 00:11:43,670
F5，空集也是函数为什么

170
00:11:45,690 --> 00:11:47,100
刚才讲什么叫函数

171
00:11:48,530 --> 00:11:49,440
什么叫关系

172
00:11:50,300 --> 00:11:52,920
关系是A乘B的子集

173
00:11:53,210 --> 00:11:54,800
空集肯定是关系了

174
00:11:57,430 --> 00:12:03,040
那么它是笛卡尔积的子集

175
00:12:04,110 --> 00:12:04,720
第二个

176
00:12:05,110 --> 00:12:09,250
它们存在不存在第1坐标相同

177
00:12:09,260 --> 00:12:10,090
第2坐标不相同

178
00:12:10,100 --> 00:12:12,530
不存在，它就是函数，只不过这个函数是什么

179
00:12:12,540 --> 00:12:13,250
就是空的

180
00:12:13,810 --> 00:12:15,360
空对空而已

181
00:12:18,360 --> 00:12:19,480
F6是函数

182
00:12:22,990 --> 00:12:26,400
你看，这个没有同样的第1坐标

183
00:12:26,410 --> 00:12:27,960
后面第2个不同，没有的