METRIC SPACE - 从英语翻译成德语

打开开放词典条目

metric space 名词

metric space 数学

metrischer Raum

I. space [speɪs] 名词

1. space no pl (expanse):

space

Raum m <-(e)s> kein pl

outside space and time

außerhalb von Raum und Zeit

2. space:

space (gap)

Platz m <-es, Plạ̈t·ze>

space (between two things)

Zwischenraum m <-(e)s, -räume>

parking space

Parkplatz m <-es, -plätze>

parking space

Parklücke f <-, -n>

3. space no pl (vacancy):

space

Platz m <-es, Plạ̈t·ze>

space

Raum m <-(e)s, Räume>

storage space

Stauraum m <-(e)s> kein pl

empty space

[freier] Platz

to leave [or save]space for sb/sth

Platz für jdn/etw lassen

to take up space

Platz einnehmen

4. space (seat):

space

[Sitz]platz m

5. space no pl:

space (country)

Land nt <-(e)s> kein pl

space (bigger extent)

Fläche f <-, -n>

wide open space

das weite, offene Land

6. space no pl:

space (premises)

Fläche f <-, -n>

space (for living)

Wohnraum m <-(e)s> kein pl

prime office space

Hauptbüroräume pl

commercial space

Gewerbefläche f <-, -n>

7. space no pl (cosmos):

space

Weltraum m <-(e)s> kein pl

the first person to go into space

der erste Mensch im Weltraum

in space

im Weltraum

outer space

Weltall nt <-s> kein pl

outer space

Weltraum m <-(e)s> kein pl

8. space no pl (interim):

space

Zeitraum m <-(e)s, -räume>

during [or in][or within] the space of four hours

innerhalb von vier Stunden

in [or within] a short space of time

in kurzer Zeit

9. space for a photo 印刷:

space (blank)

Platz m <-es, Plạ̈t·ze>

space (blank)

freie Stelle

space (between words)

Zwischenraum m <-(e)s, -räume>

space (between words)

Spatium nt 技术用语

blank space

Lücke f <-, -n>

space between the lines

Abstand m zwischen den Zeilen m

space between the lines

Durchschuss m 技术用语

10. space 计算机 (binary zero):

space

Leerzeichen nt <-s, ->

11. space no pl 传媒 (for report):

space

Raum m <-(e)s> kein pl

advertising space

Reklamefläche f

advertising space (in newspaper)

Anzeigenfläche f

advertising space (in newspaper)

瑞 a. Inseratefläche f

12. space no pl 引 (freedom):

space

[Frei]raum m

space

Freiheit f <-, -en>

breathing space 引

Atempause f <-, -n>

to give sb space to develop his/her own life

jdm Freiraum für die eigene Entwicklung lassen

短语，惯用语:

to gaze [or stare] into space

ins Leere starren

II. space [speɪs] 动词 trans

1. space (position):

to space sth

etw verteilen

to space sth

etw aufstellen

to space sth 印刷

etw spationieren 技术用语

the posts are spaced 3m apart

die Pfosten stehen 3m voneinander entfernt

2. space → space out

打开开放词典条目

space 名词

non-breaking space 计算机

geschütztes Leerzeichen

Present

I	space
you	space
he/she/it	spaces
we	space
you	space
they	space

Past

I	spaced
you	spaced
he/she/it	spaced
we	spaced
you	spaced
they	spaced

Present Perfect

I	have	spaced
you	have	spaced
he/she/it	has	spaced
we	have	spaced
you	have	spaced
they	have	spaced

Past Perfect

I	had	spaced
you	had	spaced
he/she/it	had	spaced
we	had	spaced
you	had	spaced
they	had	spaced

单语范例（未经PONS编辑处理）

For example a metric space can be regarded as an enriched category.

en.wikipedia.org

The two spaces are complete as a metric space, but neither are algebraically complete.

en.wikipedia.org

A further generalization of the theorem was proven by, to sets of real-valued continuous functions with domain a compact metric space.

en.wikipedia.org

Roughly speaking, the tensor product is the metric space completion of the ordinary tensor product.

en.wikipedia.org

If the measure space is separable, it can be shown that the corresponding metric space is, too.

en.wikipedia.org