81:
71:
53:
22:
155:
The proof uses the fact that each sequence in a compact space has a converging subsequence. This is not true in general (non-metrizable) locally convex spaces. Do we have to take a subnet instead of a subsequence?
133:
205:
127:
170:
Yes, it should be a subnet, not a subsequence. This proof is taken from Reed-Simon volume 1 page 152, and they use subnets. I've just corrected this.
200:
103:
177:
157:
94:
58:
33:
185:
165:
21:
181:
161:
39:
80:
173:
102:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
86:
70:
52:
194:
99:
76:
15:
98:, a collaborative effort to improve the coverage of
132:This article has not yet received a rating on the
8:
19:
171:
47:
49:
206:Unknown-priority mathematics articles
7:
92:This article is within the scope of
38:It is of interest to the following
14:
112:Knowledge:WikiProject Mathematics
201:Start-Class mathematics articles
115:Template:WikiProject Mathematics
79:
69:
51:
20:
1:
106:and see a list of open tasks.
166:12:27, 30 January 2013 (UTC)
222:
186:08:22, 27 March 2015 (UTC)
131:
64:
46:
134:project's priority scale
95:WikiProject Mathematics
28:This article is rated
118:mathematics articles
87:Mathematics portal
34:content assessment
188:
176:comment added by
148:
147:
144:
143:
140:
139:
213:
120:
119:
116:
113:
110:
89:
84:
83:
73:
66:
65:
55:
48:
31:
25:
24:
16:
221:
220:
216:
215:
214:
212:
211:
210:
191:
190:
153:
117:
114:
111:
108:
107:
85:
78:
32:on Knowledge's
29:
12:
11:
5:
219:
217:
209:
208:
203:
193:
192:
152:
149:
146:
145:
142:
141:
138:
137:
130:
124:
123:
121:
104:the discussion
91:
90:
74:
62:
61:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
218:
207:
204:
202:
199:
198:
196:
189:
187:
183:
179:
178:197.34.111.12
175:
168:
167:
163:
159:
150:
135:
129:
126:
125:
122:
105:
101:
97:
96:
88:
82:
77:
75:
72:
68:
67:
63:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
172:— Preceding
169:
154:
151:Subsequence?
93:
40:WikiProjects
158:130.83.2.27
109:Mathematics
100:mathematics
59:Mathematics
30:Start-class
195:Categories
174:unsigned
36:scale.
182:talk
162:talk
128:???
197::
184:)
164:)
156:--
180:(
160:(
136:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
