However, in a local trivialization it is a first-order system of linear ordinary differential equations, which has a unique solution for any initial condition given by the second condition (for instance, by the Picard–Lindelöf theorem).
Ωστόσο,σε ένα τοπικό trivialization είναι ένα σύστημα πρώτης τάξης των γραμμικών συνήθων διαφορικών εξισώσεων, η οποία έχει μία μοναδική λύση για κάθε αρχική κατάσταση δίνεται από τη δεύτερη προϋπόθεση (για παράδειγμα, από το θεώρημα Picard-Lindelöf).