Primera aparición de "por la costumbre de compacidad argumento"?

Question

En su blog, Jeff Shallit pregunta, ¿cuál fue la primera aparición de la frase exacta, "por la costumbre de compacidad argumentos," la matemática de la literatura?

Se informa de que la primera aparición se ha encontrado con que fue en un artículo de 1953: está en la página 400 de John W. Verde, Pacífico Diario de Matemáticas 3 (2) 393-402.

He encontrado otro ejemplo de ese mismo año, en la página 918 de F. A. de san Valentín, los conjuntos Mínimos de visibilidad, Proc Amer Matemáticas Soc 4, 917-921.

Así, es este año el 60 aniversario de la primera aparición de esa frase?

Si hubo una anterior a la ocurrencia de el equivalente de la frase en un idioma distinto del inglés, que, también, sería de interés.

Answer 1

No es un papel, escrito en alemán, llamado Ueber Räume mit verschwindender erster Brouwerscher Zahl. por Urysohn y Alexandroff de 1928. (Observe que Urysohn se ahogó mientras nadaba con Alexandroff, en 1924)

La siguiente cita es de la página 810 (énfasis añadido):

Der Beweis dieser Tatsache ist wörtlich derselbe wie im Falle, ay $R$ der $R^n$ ist: es genügt zu zeigen, dass die erwähnte Trennungseigenschaft im Brouwerschen Sinne induktiv ist (fue aus der Kompaktheit von $R$ in der üblichen Weise folgt), und dann den Phragmén-Brouwerschen Satz anzuwenden.

Y aquí está mi traducción de la cita:

La prueba de este hecho es, literalmente, el mismo que en el caso, donde $R$ es $R^n$: es suficiente para demostrar que la mencionada separación de la propiedad es inductivo, en el sentido de Brouwer (que sigue de la compacidad de $R$ en la forma habitual) y, a continuación, aplicar el Phragmén-Teorema de Brouwer.

Sospecho, que tan pronto como hubo una buena noción de la compacidad, la gente lo utiliza en forma rutinaria como un argumento estándar.

Answer 2

Tan lejos como el inglés, no hay resultados anteriores para la formulación estándar de compacidad argumento(s).

En particular, un par de papeles que se vinculan a partir de 1947: ver aquí en Google Scholar.

La primera de las tres es:

Ambrosio, W. (1947). Directa del teorema de la suma de Haar medidas. Transacciones de la Sociedad Matemática Americana, 61(1), 122-127.

Específicamente: Lema 4 (p. 125) contiene la frase "por el estándar de la compacidad de los argumentos"; ver abajo.

---

Histórico observación: Hay un papel francés titulado "Historia del Concepto de Compacidad" (Pier, J. P. (1980). Historique de la noción de compacité. Historia mathematica, 7(4), 425-443. http://www.sciencedirect.com/science/article/pii/0315086080900063), y entre los nombres importantes en su desarrollo es el de Alexandroff (citado en la otra respuesta aquí). La lista de referencias incluye dos de sus artículos (incluyendo otro con Urysohn) a partir de 1924, así como un libro (con Hopf) a partir de 1935. El papel de las listas de Fréchet como el primero en definir un conjunto compacto, así que no me sorprendería si hay anteriores usos de equivalente de frases en francés que anteceden al tanto de la respuesta hasta la fecha.