Übersetzung für "Korollar" in Englisch
Als
Korollar
des
Morselemmas
folgt,
dass
die
nichtausgearteten
kritischen
Punkte
isoliert
sind.
As
a
corollary
of
the
Morse
lemma,
one
sees
that
non-degenerate
critical
points
are
isolated.
Wikipedia v1.0
Man
erhält
das
folgende
Korollar.
We
obtain
also
the
following
Corollary.
WikiMatrix v1
Dann
ist
d
ebenfalls
ein
Streu-Hurzwitz-Polynom
(vergleiche
Korollar
3.1
von
Literaturstelle
[22]).
Then
d
is
likewise
a
scattering
Hurwitz
polynomial
(see
corollary
3.1
of
reference
[22]).
EuroPat v2
Dieses
Korollar
des
zweiten
Unvollständigkeitssatzes
zeigt,
dass
es
nicht
möglich
ist,
etwa
die
Konsistenz
der
Peano-Arithmetik
mit
finiten
Mitteln
zu
formalisieren,
die
sich
in
einer
schwächeren
Theorie
formalisieren
lässt,
deren
Konsistenz
die
Peano-Arithmetik
beweisen
kann.
This
corollary
of
the
second
incompleteness
theorem
shows
that
there
is
no
hope
of
proving,
for
example,
the
consistency
of
Peano
arithmetic
using
any
finitistic
means
that
can
be
formalized
in
a
theory
the
consistency
of
which
is
provable
in
Peano
arithmetic.
Wikipedia v1.0
Ein
einfaches
Korollar
des
Lemmas
von
Schur
ist,
dass
jede
komplexe
irreduzible
Darstellung
einer
abelschen
Gruppe
eindimensional
sein
muss.
As
a
simple
corollary
of
the
second
statement
is
that
every
complex
irreducible
representation
of
an
Abelian
group
is
one-dimensional.
WikiMatrix v1
In
diesem
Fall
wäre
d
ein
Faktor
von
g
und
wäre
somit
ein
Streu-Hurzwitz-Polynom
(vergleiche
Korollar
3.1
in
Literaturstelle
[22]),
d.h.,
H
würde
den
Allpaß-Faktor
d*/d
enthalten,
was
jedoch
ausgeschlossen
wurde.
In
this
case,
d
would
be
a
factor
of
g
and
would
thus
be
a
scattering
Hurwitz
polynomial
(see
corollary
3.1
in
reference
[22]),
i.e.
H
would
contain
the
all-pass
factor
d*
/d
which,
however,
has
been
excluded.
EuroPat v2
Der
wirkliche
Aufbau
und
die
Handhabung
des
Systems
waren
in
der
Tat
äußerst
mühevoll.
Zunächst
wurde
das
Prinzip
als
solches,
das
als
notwendiges
Korollar
für
die
Handhabung
der
März-Order
angesehen
wurde,
in
alle
im
Jahre
1915
abgeschlossenen
großen
Banngutabkommen
aufgenommen,
die
man
deshalb
Stützbalken
oder
Säulen
des
Systems
nennen
kann.
The
actual
construction
and
operation
of
the
system
were,
indeed,
exceedingly
laborious:
first,
as
the
bare
principle
was
admitted
to
be
a
necessary
corollary
to
operating
the
March
order,
so,
it
was
inserted
in
all
the
great
contraband
agreements
concluded
in
the
year
1915,
which
may
thus
be
called
the
struts
or
pillars
of
the
system;
secondly,
when
the
principle
was
admitted,
and
the
admission
registered
in
the
contraband
agreements,
a
number
of
other
agreements
were
negotiated
for
regulating
trade
in
particular
commodities;
thirdly,
the
cotton
trade
between
America
and
Europe
was
brought
under
control.
ParaCrawl v7.1