95:
85:
64:
297:
shared by the members of T: i ( p ) G i ( T ) = U { i ( x )I X E T } . Show that this prescription satisfies the axioms of betweenness. This leads to a convexity consisting of all sets C E S which are stable in the sense that p E C whenever p has social affinity with a finite set of persons in C. Conversely, show that every convex structure arises from an “interest” function as described above. Hint: be interested in concave sets.
33:
220:) includes axioms for these operators as well as axioms for derived set, and co-derived set operators and gives proofs for their equivalence. These other operator axioms should be added for completeness. I suggest the page uses the standard axioms for the boundary operator and the alternative axioms for the derived set operator.
296:
Further Topics 2.20. Convexity and social affinity (Aumann ). Let S (for “society”) and I (for “interests”) be sets, and let i : S -+ 2’ be a function such that i ( x ) # 0 for all x E S. A person p has social finit)‘ with a finite set of individuals T E S provided his personal interests i ( p ) are
287:
Chapter 1: Abstract Convex
Structures, p44, pdf 60 of 556. Copied from scanned pdf and pasted below - sorry I don't have time to format properly but I am not competent to work on writing it up for publication and anyone potentially interested in doing so can easily follow the links provided above.
173:
The "Definition via convergent filters" yields pretopological spaces, which - as their name indicates - are not (yet) topological spaces. Topological spaces may be defined by way of convergence of filters, but this needs a more involved axiom. The relation with topological spaces mentioned in this
291:
My impression is that the definition below first defines closed sets and extends it to abstract convexity (which is just an intersection closure space plus upwards chain closure). But the original idea by Aumann was for teaching definitions in topology.
255:
3 Contact
Relations If we formulate Aumann’s original definition of a contact relation given in in our notation, then a relation A : X ↔ 2X is an (Aumann) contact relation if the following conditions hold.
298:
151:
212:
The page on
Kuratowski closure operators, mentions interior, exterior, and boundary operators, but only gives axioms for the interior operators, which are also on this page (
325:
141:
320:
193:) was used once for the first axiom involving closure operators, and once for interior operators (thus, with oppposite meanings)! Furthermore, in
117:
221:
302:
108:
69:
277:
3. Each point is in contact with any subset that all the members of any subset it is in contact with are all in contact with.
17:
243:
and was intended as a more intuitive definition for learning about closed sets as sets that a point is in "contact" with.
44:
240:
306:
229:
32:
225:
200:, "isotone" is used to mean monotone which is the correct use if we compare it to Knowledge's definition of
204:. Unfortunately, none of the concepts described here as isotone means monotone. This has been corrected.
50:
94:
116:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
281:
100:
84:
63:
247:
214:
https://en.wikipedia.org/Kuratowski_closure_axioms#Interior,_exterior_and_boundary_operators
314:
268:
I would summarize as a relation A from points to subsets is a "contact relation" if:
274:
2. Each point is in contact with any superset of any subset it is in contact with.
194:
113:
213:
198:
217:
90:
248:
Contact
Relations with Applications by Gunther Schmidt and Rudolf Berghammer
201:
271:
1. Each point is in contact with the subset consisting of itself.
208:
Add exterior, boundary, derived set, and co-derived set operators.
26:
18:
Talk:Characterizations of the category of topological spaces
265:(A3 ) ∀ x, Y, Z : Ax,Y ∧ (∀ y : y ∈ Y → Ay,Z ) → Ax,Z
112:, a collaborative effort to improve the coverage of
282:Theory of Convex Structures by M.L.J. van de Vel
174:section yields a reflector, not an isomorphism.
8:
177:The "Isotonicity" condition for an operator
235:Additional definition by "contact relation"
218:https://doi.org/10.1016/j.entcs.2019.07.016
30:
58:
239:I cannot read German but idea comes from
299:2001:8003:4B08:5C01:DFCA:7611:D4A4:FE2C
280:Related to formal concept lattices and
60:
262:(A2 ) ∀ x, Y, Z : Ax,Y ∧ Y ⊆ Z → Ax,Z
7:
106:This article is within the scope of
49:It is of interest to the following
25:
326:Low-priority mathematics articles
126:Knowledge:WikiProject Mathematics
321:Start-Class mathematics articles
129:Template:WikiProject Mathematics
93:
83:
62:
31:
146:This article has been rated as
1:
195:A Course in Universal Algebra
169:Definition problem (resolved)
120:and see a list of open tasks.
230:17:54, 7 January 2024 (UTC)
342:
307:02:42, 28 April 2024 (UTC)
145:
78:
57:
152:project's priority scale
109:WikiProject Mathematics
39:This article is rated
132:mathematics articles
259:(A1 ) ∀ x : Ax,{x}
252:p4 of 16 defines:
101:Mathematics portal
45:content assessment
166:
165:
162:
161:
158:
157:
16:(Redirected from
333:
134:
133:
130:
127:
124:
103:
98:
97:
87:
80:
79:
74:
66:
59:
42:
36:
35:
27:
21:
341:
340:
336:
335:
334:
332:
331:
330:
311:
310:
237:
216:). This paper (
210:
171:
131:
128:
125:
122:
121:
99:
92:
72:
43:on Knowledge's
40:
23:
22:
15:
12:
11:
5:
339:
337:
329:
328:
323:
313:
312:
295:
236:
233:
209:
206:
170:
167:
164:
163:
160:
159:
156:
155:
144:
138:
137:
135:
118:the discussion
105:
104:
88:
76:
75:
67:
55:
54:
48:
37:
24:
14:
13:
10:
9:
6:
4:
3:
2:
338:
327:
324:
322:
319:
318:
316:
309:
308:
304:
300:
293:
289:
285:
283:
278:
275:
272:
269:
266:
263:
260:
257:
253:
250:
249:
246:Explained in
244:
242:
234:
232:
231:
227:
223:
222:129.2.192.184
219:
215:
207:
205:
203:
199:
196:
192:
188:
184:
180:
175:
168:
153:
149:
143:
140:
139:
136:
119:
115:
111:
110:
102:
96:
91:
89:
86:
82:
81:
77:
71:
68:
65:
61:
56:
52:
46:
38:
34:
29:
28:
19:
294:
290:
286:
279:
276:
273:
270:
267:
264:
261:
258:
254:
251:
245:
238:
211:
190:
186:
182:
178:
176:
172:
148:Low-priority
147:
107:
73:Low‑priority
51:WikiProjects
123:Mathematics
114:mathematics
70:Mathematics
41:Start-class
315:Categories
241:G. Aumann
202:antitone
150:on the
47:scale.
197:, or
303:talk
226:talk
185:) →
142:Low
317::
305:)
284::
228:)
301:(
224:(
191:X
189:(
187:P
183:X
181:(
179:P
154:.
53::
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.