Hindman spaces

Menachem Kojman

doi:10.1090/S0002-9939-01-06238-4

Hindman spaces

Menachem Kojman

Department of Mathematics

Research output: Contribution to journal › Article › peer-review

Abstract

A topological space X is Hindman if for every sequence (x_n)_n in X there exists an infinite D ⊆N so that the sequence (x_n)_n∈FS(D), indexed by all finite sums over D, is IP-converging in X. Not all sequentially compact spaces are Hindman. The product of two Hindman spaces is Hindman. Furstenberg and Weiss proved that all compact metric spaces are Hindman. We show that every Hausdorff space X that satisfies the following condition is Hindman: (*) The closure of every countable set in X is compact and first-countable. Consequently, there exist nonmetrizable and noncompact Hindman spaces. The following is a particular consequence of the main result: every bounded sequence of monotone (not necessarily continuous) real functions on [0, 1] has an IP-converging subsequences.

Original language	English
Pages (from-to)	1597-1602
Number of pages	6
Journal	Proceedings of the American Mathematical Society
Volume	130
Issue number	6
DOIs	https://doi.org/10.1090/S0002-9939-01-06238-4
State	Published - 1 Jan 2002

Keywords

Compactification
Converging sequence
Finite sums
Hindman's theorem
Nonmetrizable topological spaces

ASJC Scopus subject areas

General Mathematics
Applied Mathematics

Access to Document

10.1090/S0002-9939-01-06238-4

Cite this

@article{cf527a1c383b4ffa85b58b13db2406f9,

title = "Hindman spaces",

abstract = "A topological space X is Hindman if for every sequence (xn)n in X there exists an infinite D ⊆N so that the sequence (xn)n∈FS(D), indexed by all finite sums over D, is IP-converging in X. Not all sequentially compact spaces are Hindman. The product of two Hindman spaces is Hindman. Furstenberg and Weiss proved that all compact metric spaces are Hindman. We show that every Hausdorff space X that satisfies the following condition is Hindman: (*) The closure of every countable set in X is compact and first-countable. Consequently, there exist nonmetrizable and noncompact Hindman spaces. The following is a particular consequence of the main result: every bounded sequence of monotone (not necessarily continuous) real functions on [0, 1] has an IP-converging subsequences.",

keywords = "Compactification, Converging sequence, Finite sums, Hindman's theorem, Nonmetrizable topological spaces",

author = "Menachem Kojman",

year = "2002",

month = jan,

day = "1",

doi = "10.1090/S0002-9939-01-06238-4",

language = "English",

volume = "130",

pages = "1597--1602",

journal = "Proceedings of the American Mathematical Society",

issn = "0002-9939",

publisher = "American Mathematical Society",

number = "6",

}

TY - JOUR

T1 - Hindman spaces

AU - Kojman, Menachem

PY - 2002/1/1

Y1 - 2002/1/1

N2 - A topological space X is Hindman if for every sequence (xn)n in X there exists an infinite D ⊆N so that the sequence (xn)n∈FS(D), indexed by all finite sums over D, is IP-converging in X. Not all sequentially compact spaces are Hindman. The product of two Hindman spaces is Hindman. Furstenberg and Weiss proved that all compact metric spaces are Hindman. We show that every Hausdorff space X that satisfies the following condition is Hindman: (*) The closure of every countable set in X is compact and first-countable. Consequently, there exist nonmetrizable and noncompact Hindman spaces. The following is a particular consequence of the main result: every bounded sequence of monotone (not necessarily continuous) real functions on [0, 1] has an IP-converging subsequences.

AB - A topological space X is Hindman if for every sequence (xn)n in X there exists an infinite D ⊆N so that the sequence (xn)n∈FS(D), indexed by all finite sums over D, is IP-converging in X. Not all sequentially compact spaces are Hindman. The product of two Hindman spaces is Hindman. Furstenberg and Weiss proved that all compact metric spaces are Hindman. We show that every Hausdorff space X that satisfies the following condition is Hindman: (*) The closure of every countable set in X is compact and first-countable. Consequently, there exist nonmetrizable and noncompact Hindman spaces. The following is a particular consequence of the main result: every bounded sequence of monotone (not necessarily continuous) real functions on [0, 1] has an IP-converging subsequences.

KW - Compactification

KW - Converging sequence

KW - Finite sums

KW - Hindman's theorem

KW - Nonmetrizable topological spaces

UR - http://www.scopus.com/inward/record.url?scp=0035994048&partnerID=8YFLogxK

U2 - 10.1090/S0002-9939-01-06238-4

DO - 10.1090/S0002-9939-01-06238-4

M3 - Article

AN - SCOPUS:0035994048

SN - 0002-9939

VL - 130

SP - 1597

EP - 1602

JO - Proceedings of the American Mathematical Society

JF - Proceedings of the American Mathematical Society

IS - 6

ER -

Hindman spaces

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this